scientific article; zbMATH DE number 1314229

MaRDI QIDQ4256315zbMATH OpenFDO

Authors Andrea Corradini, R. Heckel, Ugo Montanari

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

zbMATH Keywords

coalgebratransition systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional SOS and beyond: A coalgebraic view of open systems
• A coalgebraic presentation of structured transition systems
• scientific article; zbMATH DE number 1231625
• Structured operational semantics and bisimulation as a congruence

Cited in

(15)

• Swinging types=functions+relations+transition systems
• Compositional SOS and beyond: A coalgebraic view of open systems
• Observational congruences for dynamically reconfigurable tile systems
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Integrating observational and computational features in the specification of state-based, dynamical systems
• G-reactive systems as coalgebras
• A coalgebraic theory of reactive systems
• scientific article; zbMATH DE number 1231625 (Why is no real title available?)
• scientific article; zbMATH DE number 1759487 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• scientific article; zbMATH DE number 1390052 (Why is no real title available?)
• A coalgebraic presentation of structured transition systems
• Category theory for operational semantics
• Behavioral abstraction is hiding information
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256315)