Pages that link to "Item:Q2389334"
From MaRDI portal
The following pages link to Undecidable equivalences for basic parallel processes (Q2389334):
Displaying 6 items.
- Undecidability of accordance for open systems with unbounded message queues (Q402353) (← links)
- Space-efficient scheduling of stochastically generated tasks (Q418125) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- An incompleteness result in process algebra (Q1113665) (← links)
- Undecidable equivalences for basic process algebra (Q1342523) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)