Computation calculus bridging a formalization gap

DOI10.1016/S0167-6423(99)00021-0MaRDI QIDQ1566908zbMATH OpenOpenAlexFDO

Authors Rutger M. Dijkstra

Publication date 4 June 2000

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

Full work available at URL https://doi.org/10.1016/s0167-6423(99)00021-0

zbMATH Keywords

computation calculus

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1210363
• Algebra unifies operational calculi
• Towards a calculus of algorithms
• scientific article; zbMATH DE number 1107623

Cited in

(4)

• scientific article; zbMATH DE number 6698765 (Why is no real title available?)
• UNITY and Büchi automata
• Non-associative Kleene Algebra and Temporal Logics
• Exploring an interface model for CKA

This page was built for publication: Computation calculus bridging a formalization gap

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