Causal automata

DOI10.1016/0304-3975(92)90052-HzbMath0765.68103OpenAlexW2912895170MaRDI QIDQ1194329

Jeremy Gunawardena

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

zbMATH Keywords

causalityconfluenceconcurrencyevent structuresprocesses

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

Configuration structures, event structures and Petri nets, Unnamed Item, Causal behaviours and nets, Arc-typed Petri Nets, On the nature of events: another perspective in concurrency, How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings, On the Origin of Events: Branching Cells as Stubborn Sets, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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