Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705871
DOI10.1007/b106850zbMath1119.68117OpenAlexW1588712707MaRDI QIDQ5705871
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Related Items (11)
Relating Coalgebraic Notions of Bisimulation ⋮ A compositional coalgebraic model of fusion calculus ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ About permutation algebras, (pre)sheaves and named sets ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ A presheaf environment for the explicit fusion calculus ⋮ A Category of Explicit Fusions ⋮ Cut elimination for a logic with induction and co-induction ⋮ A Categorical Model of the Fusion Calculus ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ A semantics for nabla
This page was built for publication: Foundations of Software Science and Computational Structures