Pages that link to "Item:Q890619"
From MaRDI portal
The following pages link to A coalgebraic semantics for causality in Petri nets (Q890619):
Displaying 9 items.
- Machine semantics (Q959818) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- A coalgebraic decision procedure for NetKAT (Q2819821) (← links)
- Causal Trees, Finally (Q3460861) (← links)
- A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)