A non-SOS operational semantics for a process algebra

DOI10.1016/S0020-0190(98)00135-5zbMath1339.68184MaRDI QIDQ293405

Wojciech Fraczak, Marek B. Zaremba

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098001355?np=y

zbMATH Keywords

structured operational semanticsprocess algebrasweak bisimulation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Algèbre de processus et synchronisation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A non-SOS operational semantics for a process algebra