A Compositional Proof System for Asynchronously Communicating Processes.

Frank S. de Boer M. van Hulst

Published in: MPC (1995)

Keyphrases

communication channels
process model
multi agent systems
neural network
artificial intelligence
information systems
knowledge representation