A Categorical Model of the Fusion Calculus

DOI10.1016/j.entcs.2008.10.017zbMath1286.68355OpenAlexW2030716060MaRDI QIDQ5415643

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

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

Related Items (10)

Coinductive predicates and final sequences in a fibration ⋮ Network Conscious π-calculus: A Concurrent Semantics ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ A presheaf environment for the explicit fusion calculus ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ Coinductive predicates and final sequences in a fibration ⋮ Structural operational semantics for continuous state stochastic transition systems

Uses Software

• JoCaml
• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27--29, 2004
• Models for name-passing processes: Interleaving and causal
• Notions of computation and monads
• A theory of bisimulation for the \(\pi\)-calculus
• Variations on mobile processes
• Comparing operational models of name-passing process calculi
• Explicit fusions
• Reactive Systems over Directed Bigraphs
• A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
• Typed Lambda Calculi and Applications
• Foundations of Software Science and Computational Structures
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• On the structure of categories of coalgebras

This page was built for publication: A Categorical Model of the Fusion Calculus