scientific article; zbMATH DE number 1231625
From MaRDI portal
Publication:4222948
zbMath0917.68072MaRDI QIDQ4222948
Reiko Heckel, Andrea Corradini, Martin Grosse-Rhode
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Coalgebraic Symbolic Semantics ⋮ A compositional coalgebraic model of fusion calculus ⋮ On Coalgebras over Algebras ⋮ On coalgebras over algebras ⋮ Copower functors ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus ⋮ G-Reactive Systems as Coalgebras ⋮ A Coalgebraic Theory of Reactive Systems ⋮ Coalgebra morphisms subsume open maps ⋮ Compositional SOS and beyond: A coalgebraic view of open systems