default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNATO ASI PDC 1992: Marktoberdorf, Germany
- Manfred Broy:
Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. NATO ASI Series 118, Springer 1993, ISBN 978-3-642-08164-4
Refinement
- Carroll Morgan:
The Refinement Calculus. 3-52 - Ralph-Johan Back:
Refinement Calculus, Lattices and Higher Order Logic. 53-71 - Ralph-Johan Back:
Refinement of Parallel and Reactive Programs. 73-92 - David Gries:
Data Refinement and the Transform. 93-119 - Manfred Broy:
(Inter-)Action Refinement: The Easy Way. 121-158
Models and Calculi of Computation
- C. A. R. Hoare:
Algebra and Models. 161-195 - Edsger W. Dijkstra:
The Unification of Three Calculi. 197-231 - Philip Wadler:
Monads for functional programming. 233-264 - David Harel:
How Hard is it to Reason about Propositional Programs? 265-284
Reactive Timed Systems
- Zohar Manna, Amir Pnueli:
A Temporal Proof Methodology for Reactive Systems. 287-323 - Matthew Hennessy:
Timed Process Algebras: A Tutorial. 325-359 - Gérard Berry:
The Semantics of Pure Esterel. 361-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
