Centrum Wiskunde & Informatica

Ten years of Hoare s logic, a survey, part II: n ondeterminism Article

Theoretical Computer Science, 83-109.

K.R. Apt (Krzysztof)

January 1984
Modeling the distributed termination convention of CSP Article

ACM Transactions on Programming Languages and Systems, 370-379.

K.R. Apt (Krzysztof) and N. Francez

January 1984
Fair termination revisited - with delay Article

Theoretical Computer Science, 65-84.

K.R. Apt (Krzysztof), A. Pnueli and J. Stavi

January 1984
On positive vectors, positive matrices and the specialization order Tech Report

M. Hazewinkel (Michiel)

January 1984
A static analysis of VSP programs In Proceedings

K.R. Apt (Krzysztof)

January 1984
Transformations realizing fairness assumptions in parallel programs In Proceedings

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1984
Physical models and equilibrium methods Book

B.S. Razumikhin

January 1984
Review of "Principles of concurrent programming" by Ben Ari Article

Science of Computer Programming, 4(2), 211-212.

K.R. Apt (Krzysztof)

January 1984

Previous

Next