On the nature of events: another perspective in concurrency
From MaRDI portal
Publication:674197
DOI10.1016/0304-3975(94)00174-HzbMath0874.68111OpenAlexW2058581099MaRDI QIDQ674197
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00174-h
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Related Items (20)
Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Well-behaved flow event structures for parallel composition and action refinement ⋮ Semantic domains of timed event structures ⋮ Configuration structures, event structures and Petri nets ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Unfolding semantics of graph transformation ⋮ On the nature of events ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Independence Abstractions and Models of Concurrency ⋮ Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict ⋮ Unnamed Item ⋮ Non sequential semantics for contextual P/T nets ⋮ Flow Unfolding of Multi-clock Nets ⋮ Atomic actions, and their refinements to isolated protocols ⋮ McMillan’s Complete Prefix for Contextual Nets ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Unnamed Item ⋮ Minimisation of event structures ⋮ Contextual Petri nets, asymmetric event structures, and processes
Cites Work
This page was built for publication: On the nature of events: another perspective in concurrency
