A Compositional Coalgebraic Model of a Fragment of Fusion Calculus

DOI10.1016/J.ENTCS.2005.12.109zbMATH Open1316.68090OpenAlexW2122767292MaRDI QIDQ5262958FDOQ5262958

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

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

Cites Work

• Title not available (Why is that?)
• Universal coalgebra: A theory of systems
• A calculus of mobile processes. II
• Explicit fusions
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• A compositional coalgebraic model of fusion calculus

Cited In (5)

• A Categorical Model of the Fusion Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• A compositional coalgebraic model of fusion calculus
• Symmetries, local names and dynamic (de)-allocation of names

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262958)