Countable nondeterminism and random assignment Article

K.R. Apt (Krzysztof) and G. Plotkin

Syntax directed analysis of liveness properties Article

K.R. Apt (Krzysztof) and C. Delporte

Limits for automatic verification of finite state concurrent systems Article

K.R. Apt (Krzysztof) and D. Kozen

Correctness proofs distributed termination algorithms Article

K.R. Apt (Krzysztof)

Algebraic and geometric methods in nonlinear control theory Book

Mathematics and computer science II : fundamental contributions in the Netherlands since 1945 : [symposium held in Amsterdam, 06-07.10.1986] Book

Idiosyncratic remarks by a bibliomaniac 2 : contrasts in publishing and markets Article

M. Hazewinkel (Michiel)

Preface : Algebraic and geometric methods in nonlinear control theory Preface