An algebraic view of interleaving and distributed operational semantics for CCS

DOI10.1007/BFB0018342MaRDI QIDQ5096249zbMATH OpenOpenAlexFDO

Authors Ugo Montanari, Daniel Yankelevich

Publication date 16 August 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0018342

Mathematics Subject Classification ID

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

Cites work

• A distributed operational semantics of CCS based on condition/event systems
• Concurrent histories: a basis for observing distributed systems
• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3911691 (Why is no real title available?)
• scientific article; zbMATH DE number 3986627 (Why is no real title available?)
• scientific article; zbMATH DE number 4037225 (Why is no real title available?)
• scientific article; zbMATH DE number 4056997 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality

Cited in

(4)

• scientific article; zbMATH DE number 4043229 (Why is no real title available?)
• Proved trees
• Location equivalence in a parametric setting
• On the implementation of concurrent calculi in net calculi: two case studies

This page was built for publication: An algebraic view of interleaving and distributed operational semantics for CCS

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