Pages that link to "Item:Q5096393"
From MaRDI portal
The following pages link to Dynamic matrices and the cost analysis of concurrent programs (Q5096393):
Displaying 7 items.
- On the coarsest congruence within global-clock-bounded equivalence (Q1129264) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Processes of timed Petri nets (Q1575631) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← 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)