Concurrent histories: a basis for observing distributed systems
From MaRDI portal
Publication:1089787
DOI10.1016/0022-0000(87)90032-8zbMath0619.68017MaRDI QIDQ1089787
Ugo Montanari, Pierpaolo Degano
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
bisimulation; processes; CCS; observational equivalences; distributed transition systems; P/T nets; Petri C/E systems
68N25: Theory of operating systems
Related Items
Step bisimulation is pomset equivalence on a parallel language without explicit internal choice, Models and logics for true concurrency., Structure of concurrency, Universal axioms for bisimulations, A partial ordering semantics for CCS, Petri nets are monoids, Relational structures model of concurrency, 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 characterisation of elementary net system (observable) state space, Automatizing parametric reasoning on distributed concurrent systems, 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
Uses Software
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