scientific article; zbMATH DE number 2186713
From MaRDI portal
Publication:3023880
Applications of universal algebra in computer science (08A70) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Special categories (18B99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- State-based systems and (F₁,F₂)-coalgebras
- From comodels to coalgebras: state and arrays
- Introduction to coalgebra. Towards mathematics of states and observation
- A coalgebraic presentation of structured transition systems
- Universal coalgebra: A theory of systems
- scientific article; zbMATH DE number 1231625
- Bisimulation of labelled state-to-function transition systems coalgebraically
- A coalgebraic theory of reactive systems
- Coalgebraic Models for Reactive Systems
- From global to local state, coalgebraically and compositionally
Cited in
(6)- Universal coalgebra: A theory of systems
- Introduction to coalgebra. Towards mathematics of states and observation
- State-based systems and (F₁,F₂)-coalgebras
- scientific article; zbMATH DE number 2112325 (Why is no real title available?)
- Coalgebra for the working software engineer
- Control of discrete-event systems with partial observations using coalgebra and coinduction
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 Q3023880)
