On the mathematics of sequential decompositions

DOI10.1016/0167-6423(93)90016-IzbMath0784.68018MaRDI QIDQ1261494

Fatma Mili, Jules Desharnais, Ali Milli

Publication date: 16 September 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

decompositionrelation algebraconjugate kerneldemonic compositioniterative normal forms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Embedding a demonic semilattice in a relation algebra