Pages that link to "Item:Q674197"
From MaRDI portal
The following pages link to On the nature of events: another perspective in concurrency (Q674197):
Displayed 20 items.
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- Non sequential semantics for contextual P/T nets (Q4633159) (← links)
- (Q5028437) (← links)
- On the nature of events (Q5096856) (← links)
- (Q5114821) (← links)
- Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)