A Compositional Coalgebraic Model of a Fragment of Fusion Calculus

DOI10.1016/j.entcs.2005.12.109zbMath1316.68090OpenAlexW2122767292MaRDI QIDQ5262958

Ugo Montanari, Maria Grazia Buscemi

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.109

zbMATH Keywords

process calculialgebraic/coalgebraic models

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (3)

A compositional coalgebraic model of fusion calculus ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ A Categorical Model of the Fusion Calculus

Cites Work

• A calculus of mobile processes. II
• Universal coalgebra: A theory of systems
• A compositional coalgebraic model of fusion calculus
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Explicit fusions
• Unnamed Item

This page was built for publication: A Compositional Coalgebraic Model of a Fragment of Fusion Calculus