scientific article
From MaRDI portal
Publication:2847810
zbMath1271.68183MaRDI QIDQ2847810
Neil Ghani, Björn Victor, Kidane Yemane
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051710
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
Relating Coalgebraic Notions of Bisimulation ⋮ A compositional coalgebraic model of fusion calculus ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Pseudo-distributive laws and axiomatics for variable binding ⋮ 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 ⋮ A Category of Explicit Fusions ⋮ A Categorical Model of the Fusion Calculus ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ A congruence rule format for name-passing process calculi
This page was built for publication:
