The following pages link to (Q4299862):
Displayed 9 items.
- The compression structure of a process (Q1044743) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
- Deciding orthogonal bisimulation (Q2461535) (← links)
- An algebraic semantics for hierarchical P/T nets (Q5096359) (← links)
- Nonprimitive recursive complexity and undecidability for Petri net equivalences (Q5941099) (← links)