The following pages link to (Q4036588):
Displayed 13 items.
- Petri nets and bisimulation (Q672873) (← links)
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Deciding true concurrency equivalences on safe, finite nets (Q1365677) (← links)
- Undecidability of domino games and hhp-bisimilarity. (Q1401953) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Deciding true concurrency equivalences on finite safe nets (preliminary report) (Q4630288) (← links)
- Minimal transition systems for history-preserving bisimulation (Q5048942) (← links)
- Timed processes of Timed Petri Nets (Q5096376) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)