Pages that link to "Item:Q674005"

The following pages link to A theory of processes with durational actions (Q674005):

Displaying 5 items.

• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
• Undecidability of performance equivalence of Petri nets (Q507373) (← links)
• Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
• Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
• On performance congruences for process algebras (Q1275822) (← links)