A categorical model of the fusion calculus

DOI10.1016/J.ENTCS.2008.10.017MaRDI QIDQ5415643zbMATH OpenOpenAlexFDO

Authors Marino Miculan

Publication date 13 May 2014

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.2008.10.017

zbMATH Keywords

presheavesfusion calculusfully abstract categorical modelhyperequivalence

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A compositional coalgebraic model of fusion calculus
• A compositional coalgebraic model of a fragment of fusion calculus
• Algebra and Coalgebra in Computer Science
• A presheaf environment for the explicit fusion calculus
• A Category of Explicit Fusions

Cites work

• scientific article; zbMATH DE number 5076887 (Why is no real title available?)
• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• A compositional coalgebraic model of a fragment of fusion calculus
• A theory of bisimulation for the -calculus
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Comparing operational models of name-passing process calculi
• Explicit fusions
• Foundations of Software Science and Computational Structures
• Models for name-passing processes: Interleaving and causal
• Notions of computation and monads
• On the structure of categories of coalgebras
• Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27--29, 2004
• Reactive Systems over Directed Bigraphs
• Relationally staged computations in calculi of mobile processes
• Typed Lambda Calculi and Applications
• Variations on mobile processes

Cited in

(16)

• A class of automata for the verification of infinite, resource-allocating behaviours
• Coinductive predicates and final sequences in a fibration
• A presheaf environment for the explicit fusion calculus
• A Category of Explicit Fusions
• Algebra and Coalgebra in Computer Science
• Structural operational semantics for continuous state stochastic transition systems
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• A compositional coalgebraic model of fusion calculus
• A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus
• Symmetries, local names and dynamic (de)-allocation of names
• Families of symmetries as efficient models of resource binding
• Network Conscious π-calculus: A Concurrent Semantics
• Coinductive predicates and final sequences in a fibration
• A compositional coalgebraic model of a fragment of fusion calculus
• A graphical fusion calculus
• Behavioural equivalences for coalgebras with unobservable moves

Describes a project that uses

Uses Software

• CC-Pi
• JoCaml

This page was built for publication: A categorical model of the fusion calculus

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