Pages that link to "Item:Q674197"
From MaRDI portal
The following pages link to On the nature of events: another perspective in concurrency (Q674197):
Displaying 12 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)