Synchronous and asynchronous experiments on processes

DOI10.1016/S0019-9958(83)80029-1zbMath0544.68028MaRDI QIDQ3334070

Matthew C. B. Hennessy

Publication date: 1983

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

experiments on processeslanguage for processessynchronising subprocesses

Mathematics Subject Classification ID

Related Items (8)

When is partial trace equivalence adequate? ⋮ About fair asynchrony ⋮ An algebraic theory of fair asynchronous communicating processes ⋮ Trace, failure and testing equivalences for communicating processes ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Proof systems for infinite behaviours ⋮ Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages ⋮ A proof-theoretic characterization of observational equivalence

This page was built for publication: Synchronous and asynchronous experiments on processes