Computation calculus bridging a formalization gap

DOI10.1016/S0167-6423(99)00021-0zbMath0954.68042OpenAlexW2174994279MaRDI QIDQ1566908

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)

Related Items (3)

Non-associative Kleene Algebra and Temporal Logics ⋮ Exploring an Interface Model for CKA ⋮ UNITY and Büchi automata

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