The following pages link to Explicit fusions (Q2566040):
Displaying 23 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)
- Non-pseudounitary fusion (Q2065617) (← links)
- Indecomposable fusion products (Q2139894) (← 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)
- Type Fusion (Q3067469) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Lightweight fusion by fixed point promotion (Q3189793) (← 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)
- Foundations of Software Science and Computation Structures (Q5308470) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
- Programming Languages and Systems (Q5464047) (← links)
- (Q5856409) (← links)