scientific article; zbMATH DE number 1314229
From MaRDI portal
Publication:4256315
zbMath0918.68065MaRDI QIDQ4256315
Ugo Montanari, Reiko Heckel, Andrea Corradini
Publication date: 12 July 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=19#19010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems ⋮ GETGRATS ⋮ Category theory for operational semantics ⋮ Behavioral abstraction is hiding information ⋮ A coalgebraic presentation of structured transition systems ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Swinging types=functions+relations+transition systems ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus ⋮ G-Reactive Systems as Coalgebras ⋮ A Coalgebraic Theory of Reactive Systems ⋮ Compositional SOS and beyond: A coalgebraic view of open systems
