Pages that link to "Item:Q1892874"
From MaRDI portal
The following pages link to On deciding readiness and failure equivalences for processes (Q1892874):
Displaying 7 items.
- On the axiomatizability of priority. II (Q549169) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- CCS expressions, finite state processes, and three problems of equivalence (Q918211) (← links)
- Undecidable equivalences for basic process algebra (Q1342523) (← links)
- Undecidable equivalences for basic parallel processes (Q2389334) (← links)
- Basic process algebra with deadlocking states (Q5958771) (← links)
- Infinite results (Q6104374) (← links)