A compositional coalgebraic model of a fragment of fusion calculus

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

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

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

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

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

Cited In (6)

• A Categorical Model of the Fusion Calculus
• Algebra and Coalgebra in Computer Science
• 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)