On the Origin of Events: Branching Cells as Stubborn Sets
From MaRDI portal
Publication:3011891
DOI10.1007/978-3-642-21834-7_14zbMath1330.68204MaRDI QIDQ3011891
Publication date: 29 June 2011
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_14
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Confluence for process verification
- Models for concurrency: Towards a classification
- Configuration structures, event structures and Petri nets
- Causal automata
- Partial confluence of processes and systems of objects
- State space reduction using partial order techniques
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
- CONCUR 2004 - Concurrency Theory
- Refinement of actions and equivalence notions for concurrent systems