A Category of Explicit Fusions

DOI10.1007/978-3-540-68679-8_34zbMath1144.68038OpenAlexW1529635837MaRDI QIDQ3507388

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

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_34

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (5)

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Network Conscious π-calculus: A Concurrent Semantics ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ A presheaf environment for the explicit fusion calculus ⋮ Symmetries, local names and dynamic (de)-allocation of names

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• About permutation algebras, (pre)sheaves and named sets
• 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
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• A theory of bisimulation for the \(\pi\)-calculus
• A compositional coalgebraic model of fusion calculus
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Explicit fusions
• A Name Abstraction Functor for Named Sets
• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
• Foundations of Software Science and Computation Structures
• Symbolic Semantics Revisited
• Programming Languages and Systems
• Algebra and Coalgebra in Computer Science
• Foundations of Software Science and Computational Structures
• Formal Methods in Software and Systems Modeling
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

This page was built for publication: A Category of Explicit Fusions