The following pages link to (Q4508291):
Displaying 7 items.
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Timing-sequence testing of parallel programs (Q1966509) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- (Q2979815) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)