A Proof System for Asynchronously Communicating Deterministic Processes.

Frank S. de Boer M. van Hulst

Published in: MFCS (1994)

Keyphrases

communication channels
information systems
real time
data sets
databases
artificial neural networks
decision trees
multiscale
modal logic
sharing information