The following pages link to Explicit fusions (Q2566040):
Displaying 16 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- (Q5141619) (← links)
- A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
