Pages that link to "Item:Q678252"
From MaRDI portal
The following pages link to Performance preorder and competitive equivalence (Q678252):
Displaying 10 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- An efficiency preorder for processes (Q1323358) (← links)
- Faster asynchronous systems. (Q1401952) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- Fast asynchronous systems in dense time (Q5940928) (← links)
- On the semantics of durational actions (Q5958612) (← links)