A CCS semantics for NIL

DOI10.1147/RD.315.0556MaRDI QIDQ3766820zbMATH OpenOpenAlexFDO

Authors Scott A. Smolka, Robert E. Strom

Publication date 1987

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.315.0556

zbMATH Keywords

Calculus of Communicating Systemscommunication channelsexception handlinghigh-level language for distributed systems programmingnondeterministic message selectionprocessesqueued synchronous and asynchronous message passing

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4035159
• scientific article; zbMATH DE number 3896316
• scientific article; zbMATH DE number 4018372
• Semantics of communicating processes
• A distributed operational semantics of CCS based on condition/event systems

This page was built for publication: A CCS semantics for NIL

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