A Category of Explicit Fusions
From MaRDI portal
Publication:3507388
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
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
