A non-SOS operational semantics for a process algebra

DOI10.1016/S0020-0190(98)00135-5zbMATH Open1339.68184MaRDI QIDQ293405FDOQ293405

Authors: 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

Recommendations

• Structural operational semantics.
• scientific article; zbMATH DE number 139606
• Locality based semantics for process algebras
• scientific article; zbMATH DE number 4050949
• scientific article; zbMATH DE number 937812

zbMATH Keywords

process algebrasweak bisimulationstructured operational semantics

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algèbre de processus et synchronisation

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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

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