Foundations of Software Science and Computational Structures

DOI10.1007/b106850zbMath1119.68117OpenAlexW1588712707MaRDI QIDQ5705871

Kidane Yemane, Marino Miculan

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

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