C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
NATO ASI PDC
1992
1993
1992
1993
Keyphrases
Publications
volume 118, 1993
Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992.
NATO ASI PDC
118 (1993)
1992
Ralph-Johan Back
Refinement of Parallel and Reactive Programs.
NATO ASI PDC
(1992)
C. A. R. Hoare
Algebra and Models.
NATO ASI PDC
(1992)
Manfred Broy
(Inter-)Action Refinement: The Easy Way.
NATO ASI PDC
(1992)
Edsger W. Dijkstra
The Unification of Three Calculi.
NATO ASI PDC
(1992)
David Gries
Data Refinement and the Transform.
NATO ASI PDC
(1992)
Matthew Hennessy
Timed Process Algebras: A Tutorial.
NATO ASI PDC
(1992)
David Harel
How Hard is it to Reason about Propositional Programs?
NATO ASI PDC
(1992)
Zohar Manna
,
Amir Pnueli
A Temporal Proof Methodology for Reactive Systems.
NATO ASI PDC
(1992)
Philip Wadler
Monads for functional programming.
NATO ASI PDC
(1992)
Gérard Berry
The Semantics of Pure Esterel.
NATO ASI PDC
(1992)
Ralph-Johan Back
Refinement Calculus, Lattices and Higher Order Logic.
NATO ASI PDC
(1992)
Carroll Morgan
The Refinement Calculus.
NATO ASI PDC
(1992)