Synchronous and asynchronous experiments on processes

DOI10.1016/S0019-9958(83)80029-1MaRDI QIDQ3334070zbMATH OpenFDO

Authors Matthew Hennessy

Publication date 1983

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

Full work available at URL https://doi.org/10.1016/S0019-9958(83)80029-1

zbMATH Keywords

experiments on processeslanguage for processessynchronising subprocesses

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3903948
• scientific article; zbMATH DE number 1512624
• Algèbre de processus et synchronisation
• Semantics of communicating processes
• scientific article; zbMATH DE number 3938554

Cited in

(8)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334070)