The following pages link to (Q3727392):
Displaying 6 items.
- A theory of processes with durational actions (Q674005) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Models and languages for description of parallel processes (Q1792419) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
