On the Specification and Synthesis of Communicating Processes.

M. Hakan Erdogmus Robert Johnston

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

communication channels
information systems
conceptual model
program synthesis
real time
real world
artificial intelligence
web services
high level
stochastic processes
formal verification