Concurrent histories: a basis for observing distributed systems

DOI10.1016/0022-0000(87)90032-8zbMath0619.68017OpenAlexW2027256978MaRDI QIDQ1089787

Pierpaolo Degano, Ugo Montanari

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90032-8

zbMATH Keywords

bisimulationprocessesCCSobservational equivalencesdistributed transition systemsP/T netsPetri C/E systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Automatizing parametric reasoning on distributed concurrent systems ⋮ Step bisimulation is pomset equivalence on a parallel language without explicit internal choice ⋮ A distributed operational semantics of CCS based on condition/event systems ⋮ Partial ordering models for concurrency can be defined operationally ⋮ Appraising fairness in languages for distributed programming ⋮ An algebraic view of interleaving and distributed operational semantics for CCS ⋮ On continuous time agents ⋮ Event structure semantics for multiparty sessions ⋮ Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ Ugo Montanari and Concurrency Theory ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Unnamed Item ⋮ A partial ordering semantics for CCS ⋮ Petri nets are monoids ⋮ Extended transition systems for parametric bisimulation ⋮ Relational structures model of concurrency ⋮ Modeling concurrency with interval traces ⋮ Structure of concurrency ⋮ Universal axioms for bisimulations ⋮ Unnamed Item ⋮ Relational structures for concurrent behaviours ⋮ An algebraic characterisation of elementary net system (observable) state space ⋮ Models and logics for true concurrency. ⋮ Proved trees

Uses Software

• COSY

Cites Work

• A partial ordering semantics for CCS
• Behaviours of concurrent systems
• Power domains
• COSY - a system specification language based on paths and processes
• The non-sequential behaviour of Petri nets
• Semantics of communicating processes
• A Theory of Communicating Sequential Processes
• Time, clocks, and the ordering of events in a distributed system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item