The following pages link to (Q3687725):
Displaying 8 items.
- Automatic construction of CSP programs from sequential non-deterministic programs (Q1060002) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs) (Q1104075) (← links)
- Representing CCS programs by finite predicate-transition nets (Q1122360) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Causal behaviours and nets (Q5096367) (← links)
- A trace semantics for Petri Nets (Q5204350) (← links)
