scientific article; zbMATH DE number 1231625

MaRDI QIDQ4222948zbMATH OpenFDO

Authors Andrea Corradini, R. Heckel, M. Große-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

zbMATH Keywords

labeled transition systems

Mathematics Subject Classification ID

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)

Recommendations

• A coalgebraic presentation of structured transition systems
• An exercise on transition systems
• scientific article; zbMATH DE number 1390052
• scientific article; zbMATH DE number 1314229

Cited in

(24)

• Copower functors
• Coalgebra morphisms subsume open maps
• Compositional SOS and beyond: A coalgebraic view of open systems
• Path category for free. Open morphisms from coalgebras with non-deterministic branching
• A compositional coalgebraic model of fusion calculus
• Coalgebraic semantics for timed processes
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• G-reactive systems as coalgebras
• A coalgebraic theory of reactive systems
• An exercise on transition systems
• Coalgebraic symbolic semantics
• From transitions to executions
• On coalgebras over algebras
• scientific article; zbMATH DE number 2186713 (Why is no real title available?)
• scientific article; zbMATH DE number 1314229 (Why is no real title available?)
• scientific article; zbMATH DE number 2020831 (Why is no real title available?)
• A uniform framework for timed automata
• scientific article; zbMATH DE number 6864542 (Why is no real title available?)
• scientific article; zbMATH DE number 1390052 (Why is no real title available?)
• The Microcosm Principle and Concurrency in Coalgebra
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• A coalgebraic presentation of structured transition systems
• On coalgebras over algebras
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure

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 Q4222948)