scientific article; zbMATH DE number 2087345

MaRDI QIDQ4738115zbMATH OpenFDO

Authors Bart Jacobs

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2297/22970237.htm

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic-coalgebraic specification in CoCASL
• scientific article; zbMATH DE number 1497880
• scientific article; zbMATH DE number 1753205
• On institutions for modular coalgebraic specifications.
• scientific article; zbMATH DE number 1314230

Cited in

(13)

• Observational ultraproducts of polynomial coalgebras.
• A calculus for generic, QoS-aware component composition
• Probabilistic mediator: a coalgebraic perspective
• Automata and fixed point logic: a coalgebraic perspective
• A modal proof theory for final polynomial coalgebras
• Inductive and coinductive components of corecursive functions in Coq
• Pre-Galois connection on coalgebras for generic component refinement
• Applications of algebra and coalgebra in scientific modelling: illustrated with the logistic map
• A single complete relational rule for coalgebraic refinement
• Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
• When is a function a fold or an unfold?
• Algebraic-coalgebraic specification in CoCasl.
• Simulations in coalgebra

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