A superposition operator for the refinement of algebraic models

DOI10.1016/S1571-0661(05)80055-6MaRDI QIDQ4923378zbMATH OpenFDO

Authors Claus Pahl

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(05)80055-6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Algebraic theory of languages and automata (68Q70)

Recommendations

• Superposition refinement of reactive systems
• Algebraic foundations for specification refinements
• scientific article; zbMATH DE number 140256
• Refinement
• Superposition: composition vs refinement of non-deterministic, action-based systems

Cites work

• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 803303 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• Notions of computation and monads

This page was built for publication: A superposition operator for the refinement of algebraic models

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