Relational Methods in Computer Science

DOI10.1007/11734673zbMATH Open1185.68221OpenAlexW2482623798MaRDI QIDQ5899307FDOQ5899307

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

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

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)

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)