An algebraic view of interleaving and distributed operational semantics for CCS

DOI10.1007/BFb0018342zbMath1493.68198OpenAlexW1566713756MaRDI QIDQ5096249

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

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

Related Items (3)

Location equivalence in a parametric setting ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ Proved trees

Cites Work

• Petri nets are monoids
• Concurrent histories: a basis for observing distributed systems
• Petri nets, algebras, morphisms, and compositionality
• A distributed operational semantics of CCS based on condition/event systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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