Causal automata
From MaRDI portal
Publication:1194329
DOI10.1016/0304-3975(92)90052-HzbMath0765.68103MaRDI QIDQ1194329
Publication date: 27 September 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(92)90052-h
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Arc-typed Petri Nets, Unnamed Item, Unnamed Item, Causal behaviours and nets, On the nature of events: another perspective in concurrency, Configuration structures, event structures and Petri nets, How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings, On the Origin of Events: Branching Cells as Stubborn Sets
Cites Work
- Event structures and domains
- A calculus of communicating systems
- Petri nets, event structures and domains. I
- Special issue on ``Combining compositionality and concurrency. II
- On theories with a combinatorial definition of 'equivalence'
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item