The following pages link to (Q3142557):
Displayed 8 items.
- An algebra of behavioural types (Q418153) (← links)
- Deciding bisimulation and trace equivalences for systems with many identical processes (Q672063) (← links)
- A note on the complexity of deciding bisimilarity of normed unary processes (Q1331934) (← links)
- On reachability equivalence for BPP-nets (Q1391745) (← links)
- Pushdown processes: Games and model-checking (Q1854405) (← links)
- Complete SAT-Based Model Checking for Context-Free Processes (Q3510785) (← links)
- Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
- Constrained properties, semilinear systems, and Petri nets (Q6162100) (← links)