Pages that link to "Item:Q1275822"
From MaRDI portal
The following pages link to On performance congruences for process algebras (Q1275822):
Displaying 6 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- On testing urgency through laziness over processes with durational actions (Q5941201) (← links)
- On the semantics of durational actions (Q5958612) (← links)
