An Operational Semantics for Shared Messaging Communication

DOI10.1016/J.ENTCS.2007.08.021zbMath1278.68143OpenAlexW2036629646MaRDI QIDQ2871831

Astrid Kiehn

Publication date: 10 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.021

zbMATH Keywords

operational semanticsmessage-passingcost evaluationshared messaging communication

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An efficiency preorder for processes
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: An Operational Semantics for Shared Messaging Communication