Correctness proofs of distributed termination algorithms Article

Proving correctness of CSP programs, a tutorial Article

K.R. Apt (Krzysztof)

Real time clocks versus virtual clocks Article

K.R. Apt (Krzysztof) and J.L. Richier

Preface : Acta applicandae mathematicae 1985 Article

G. Koch and M. Hazewinkel (Michiel)

Preface : Bifurcation analysis : principles, applications, synthesis Preface

M. Hazewinkel (Michiel), R. Jurcovich and J.H.C. Paelinck

Logics and models of concurrent systems Book

Correctness proofs of distributed termination algorithms Book Chapter

K.R. Apt (Krzysztof)

Review of "Foundations of logic programming" by J.W. Lloyd Article

K.R. Apt (Krzysztof)