A non-SOS operational semantics for a process algebra

DOI10.1016/S0020-0190(98)00135-5MaRDI QIDQ293405zbMATH OpenFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42237 (Why is no real title available?)
• Algèbre de processus et synchronisation

Cited in

(3)

• scientific article; zbMATH DE number 7319030 (Why is no real title available?)
• scientific article; zbMATH DE number 937812 (Why is no real title available?)
• scientific article; zbMATH DE number 139606 (Why is no real title available?)

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)