The following pages link to (Q3667958):
Displaying 14 items.
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- (Q5089270) (← links)
- An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
- Read-write causality (Q5096915) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- (Q5111308) (← links)
- Redexes are stable in the λ-calculus (Q5269004) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
