Relational Methods in Computer Science

DOI10.1007/11734673MaRDI QIDQ5899307zbMATH OpenOpenAlexFDO

Authors Claude Bolduc, Jules Desharnais

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11734673

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relational Methods in Computer Science
• Mathematics of Program Construction
• Describing data flow analysis techniques with Kleene algebra
• Towards a refinement algebra
• scientific article; zbMATH DE number 2090029

Cited in

(3)

• An algebra of hybrid systems
• Hopscotch -- reaching the target hop by hop
• Mathematics of Program Construction

This page was built for publication: Relational Methods in Computer Science

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