A Category of Explicit Fusions

DOI10.1007/978-3-540-68679-8_34MaRDI QIDQ3507388zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• An equivalence of fusion categories
• ON THE CLASSIFICATION OF FUSION CATEGORIES
• On the classification of certain fusion categories
• Fusion categories in terms of graphs and relations.
• Exact factorizations and extensions of fusion categories
• The Extended Haagerup fusion categories
• A categorical model of the fusion calculus
• On the center of fusion categories
• Nilpotent fusion categories
• On formal codegrees of fusion categories

Cites work

• A calculus of mobile processes. I
• A compositional coalgebraic model of fusion calculus
• A first order coalgebraic model of -calculus early observational equivalence
• A fully abstract model for the \(\pi\)-calculus.
• A name abstraction functor for named sets
• A new approach to abstract syntax with variable binding
• A theory of bisimulation for the -calculus
• A unifying model of variables and names
• About permutation algebras, (pre)sheaves and named sets
• Algebra and Coalgebra in Computer Science
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
• D-fusion: A distinctive fusion calculus
• Deriving bisimulation congruences for reactive systems
• Explicit fusions
• Foundations of Software Science and Computation Structures
• Graph processes with fusions: Concurrency by colimits, again
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• scientific article; zbMATH DE number 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
• Minimizing transition systems for name passing calculi: A co-algebraic formulation
• Relationally staged computations in calculi of mobile processes
• Some congruence properties for \(\pi\)-calculus bisimilarities
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Symbolic Semantics Revisited
• Universal coalgebra: A theory of systems

Cited in

(11)

• A presheaf environment for the explicit fusion calculus
• Explicit fusions
• Families of symmetries as efficient models of resource binding
• Network Conscious π-calculus: A Concurrent Semantics
• Name-passing calculi: from fusions to preorders and types
• Explicit fusions
• FUSION 2-CATEGORIES WITH NO LINE OPERATORS ARE GROUPLIKE
• Name-passing calculi: from fusions to preorders and types
• A categorical model of the fusion calculus
• Symmetries, local names and dynamic (de)-allocation of names
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

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

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