State-based components made generic

MaRDI QIDQ2843719zbMATH OpenFDO

Authors J. N. Oliveira, L. S. Barbosa

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806315

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic Methodology and Software Technology
• Components as coalgebras: the refinement dimension
• scientific article; zbMATH DE number 1569136
• Formal Methods for Components and Objects
• ``Keep definition, change category -- a practical approach to state-based system calculi

Cited in

(8)

• A calculus for generic, QoS-aware component composition
• A perspective on service orchestration
• Pre-Galois connection on coalgebras for generic component refinement
• ``Keep definition, change category -- a practical approach to state-based system calculi
• scientific article; zbMATH DE number 1569136 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement

This page was built for publication: State-based components made generic

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