The following pages link to (Q2736365):
Displaying 15 items.
- A theory of processes with durational actions (Q674005) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- An extension of the ordinary variation (Q1096028) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Modified straightforward expansion (Q1573281) (← links)
- A continuum of expanders (Q2985956) (← links)
- (Q3361421) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- (Q4361333) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Distribution and locality of concurrent systems (Q4632423) (← links)
- Dynamic matrices and the cost analysis of concurrent programs (Q5096393) (← links)
- A π-calculus with explicit substitutions: The late semantics (Q5096892) (← links)
- Proved trees (Q5204353) (← links)