A compositional coalgebraic model of a fragment of fusion calculus

DOI10.1016/J.ENTCS.2005.12.109MaRDI QIDQ5262958zbMATH OpenOpenAlexFDO

Authors Maria Grazia Buscemi, Ugo Montanari

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)

Recommendations

• A compositional coalgebraic model of fusion calculus
• A categorical model of the fusion calculus
• Algebra and Coalgebra in Computer Science
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• scientific article; zbMATH DE number 1927579

Cites work

• scientific article; zbMATH DE number 1927579 (Why is no real title available?)
• A calculus of mobile processes. II
• A compositional coalgebraic model of fusion calculus
• Explicit fusions
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Universal coalgebra: A theory of systems

Cited in

(6)

• A compositional coalgebraic model of fusion calculus
• Symmetries, local names and dynamic (de)-allocation of names
• scientific article; zbMATH DE number 2000441 (Why is no real title available?)
• scientific article; zbMATH DE number 1497883 (Why is no real title available?)
• A categorical model of the fusion calculus
• Algebra and Coalgebra in Computer Science

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)