Pages that link to "Item:Q1275822"
From MaRDI portal
The following pages link to On performance congruences for process algebras (Q1275822):
Displaying 11 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Performance preorder and competitive equivalence (Q678252) (← links)
- On the coarsest congruence within global-clock-bounded equivalence (Q1129264) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← 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)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)
- On testing urgency through laziness over processes with durational actions (Q5941201) (← links)
- On the semantics of durational actions (Q5958612) (← links)