03817028

a

03817028 de Bakker, J.W. Zucker, J.I. Processes and a fair semantics for the ADA rendez-vous. Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 52-66 (1983). 1983 EN Hoare's CSP process semantics semantics of concurrency synchronization of parallel processes communication between processes denotational semantics fairness Zbl 0511.00030