Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings Proceedings

A new strategy for proving $omega$-completeness applied to process algebra In Proceedings

J.F. Groote (Jan Friso)

Diffie-Hellman is as strong as discrete log for certain primes In Proceedings

B. den Boer

Preface Article

J.C.M. Baeten (Jos) and J.W. Klop (Jan Willem)

On large deviation probabilities for the maximum likelihood estimators In Proceedings

K.O. Dzhaparidze (Kacha) and E. Valkeila

Catastrophes and classical surface scattering Article

T.C.M. Horn and A.W. Kleyn

Process algebra Book

J.C.M. Baeten (Jos)

Arithmetic classification of perfect models of stratified programs Article

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