Explicit fusions
From MaRDI portal
Publication:2566040
DOI10.1016/j.tcs.2005.03.017zbMath1077.68066OpenAlexW3029749730MaRDI QIDQ2566040
Philippa Gardner, Lucian Wischik
Publication date: 22 September 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.03.017
Related Items (19)
Coalgebraic Symbolic Semantics ⋮ A compositional coalgebraic model of fusion calculus ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Name-passing calculi: from fusions to preorders and types ⋮ A presheaf environment for the explicit fusion calculus ⋮ The true concurrency of differential interaction nets ⋮ Unnamed Item ⋮ QoS negotiation in service composition ⋮ A Category of Explicit Fusions ⋮ A PO characterisation of reconfiguration ⋮ Psi-calculi revisited: connectivity and compositionality ⋮ A Categorical Model of the Fusion Calculus ⋮ A calculus for collective-adaptive systems and its behavioural theory ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus ⋮ Typed ψ-calculi ⋮ Unnamed Item ⋮ A Compositional Coalgebraic Model of a Fragment of Fusion Calculus ⋮ Models and emerging trends of concurrent constraint programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- Symbolic bisimulations
- The chemical abstract machine
- Multisets and structural congruence of the pi-calculus with replication
- On reduction-based process semantics
- A theory of bisimulation for the \(\pi\)-calculus
- Calculi for interaction
- Functions as processes
- Explicit substitutions
- Nomadic pict
- Foundations of Software Science and Computation Structures
- Programming Languages and Systems
- CONCUR 2003 - Concurrency Theory
This page was built for publication: Explicit fusions
