Centrum Wiskunde & Informatica

Appraising fairness in languages for distributed programming Article

Distributed Computing, 226-241.

K.R. Apt (Krzysztof), N. Francez and S. Katz

January 1988
A short tutorial on Lie algebras Tech Report

M. Hazewinkel (Michiel)

January 1988
Proving correctness of concurrent programs - a quick introduction Tech Report

K.R. Apt (Krzysztof)

January 1988
Towards a theory of declarative knowledge Book Chapter

K.R. Apt (Krzysztof), H.A. Blair and A. Walker

January 1988
Solving reflexive domain equations in a category of complete metric spaces In Proceedings

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1988
Arithmetic classification of perfect models of stratified programs In Proceedings

K.R. Apt (Krzysztof) and H.A. Blair

January 1988
Preface : Proceedings European symposium on mathematics in industry 1985 In Proceedings

E.W.C. van Groesen, M. Hazewinkel (Michiel) and R.M.M. Mattheij

January 1988
Preface : Stochastic processes in physics and engineering Book Chapter

S. Albeverio, P. Blanchard and M. Hazewinkel (Michiel)

January 1988

Previous

Next