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

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

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)

• Hopscotch -- reaching the target hop by hop
• An algebra of hybrid systems
• 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)