Pages that link to "Item:Q4508291"

The following pages link to (Q4508291):

Displaying 4 items.

• Undecidability of performance equivalence of Petri nets (Q507373) (← 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)
• Timed Basic Parallel Processes (Q5875376) (← links)