Pages that link to "Item:Q1122355"
From MaRDI portal
The following pages link to Concurrent systems and inevitability (Q1122355):
Displaying 12 items.
- Petri net semantics of priority systems (Q1190490) (← links)
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- Proving partial order properties (Q1322161) (← links)
- Petri nets, traces, and local model checking (Q1391100) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Inevitability in diamond processes (Q3479516) (← links)
- Petri nets, traces, and local model checking (Q5096394) (← links)
- Modelling concurrency with semi-commutations (Q5096854) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)
