Interpreted Systems Semantics for Process Algebra with Identity Annotations

DOI10.1007/978-3-642-36976-6_13MaRDI QIDQ4914519zbMATH OpenOpenAlexFDO

Authors Francien Dechesne, Mohammad Mousavi

Publication date 12 April 2013

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36976-6_13

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606
• scientific article; zbMATH DE number 1136657
• scientific article; zbMATH DE number 4016181
• Communicating Sequential Processes. The First 25 Years
• Process algebra having inherent choice: revised semantics for concurrent systems
• Expressiveness of process algebras

Cited in

(3)

• Interpreted systems and Kripke models for multiagent systems from a categorical perspective
• A process algebra for interworkings.
• Efficient analysis of belief properties in process algebra

This page was built for publication: Interpreted Systems Semantics for Process Algebra with Identity Annotations

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