A presheaf environment for the explicit fusion calculus

DOI10.1007/s10817-011-9224-3zbMath1290.68089OpenAlexW2145026504MaRDI QIDQ2392481

Vincenzo Ciancia, Maria Grazia Buscemi, Filippo Bonchi, Fabio Gadducci

Publication date: 1 August 2013

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-011-9224-3

zbMATH Keywords

coalgebrasdenotational semanticsalgebraspresheaf categoriesnominal calculi

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items (6)

Families of Symmetries as Efficient Models of Resource Binding ⋮ Name-passing calculi: from fusions to preorders and types ⋮ Exploring nominal cellular automata ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

Uses Software

• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetries, local names and dynamic (de)-allocation of names
• Category theory for operational semantics
• About permutation algebras, (pre)sheaves and named sets
• Pseudo-distributive laws and axiomatics for variable binding
• Some congruence properties for \(\pi\)-calculus bisimilarities
• A calculus of mobile processes. I
• A fully abstract model for the \(\pi\)-calculus.
• Universal coalgebra: A theory of systems
• Compositional SOS and beyond: A coalgebraic view of open systems
• A theory of bisimulation for the \(\pi\)-calculus
• Comparing operational models of name-passing process calculi
• Explicit fusions
• Coalgebraic Symbolic Semantics
• Relating Coalgebraic Notions of Bisimulation
• Families of Symmetries as Efficient Models of Resource Binding
• A Category of Explicit Fusions
• Coalgebraic Models for Reactive Systems
• Foundations of Software Science and Computation Structures
• A Categorical Model of the Fusion Calculus
• Symbolic Semantics Revisited
• Programming Languages and Systems
• Foundations of Software Science and Computational Structures
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

This page was built for publication: A presheaf environment for the explicit fusion calculus