A CCS semantics for NIL

DOI10.1147/RD.315.0556zbMath0629.68017OpenAlexW1994666655MaRDI QIDQ3766820

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

processescommunication channelsexception handlingCalculus of Communicating Systemshigh-level language for distributed systems programmingnondeterministic message selectionqueued synchronous and asynchronous message passing

Mathematics Subject Classification ID

Theory of operating systems (68N25)

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