On relating some models for concurrency

DOI10.1007/3-540-56610-4_53zbMath1497.68332OpenAlexW1600339099MaRDI QIDQ5044721

Roberto Gorrieri, Sebastiano Vigna, Pierpaolo Degano

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_53

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Models for concurrency: Towards a classification, Causality versus true-concurrency, Causality for mobile processes, Contextual Petri nets, asymmetric event structures, and processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An operational semantics of occam
• A partial ordering semantics for CCS
• A formal semantics for concurrent systems with a priority relation
• Modeling concurrency with partial orders
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• Sheaves on sites as Cauchy-complete categories
• Petri net semantics of priority systems
• Metric spaces, generalized logic, and closed categories