Centrum Wiskunde & Informatica

Process algebra: specification and verification in bisimulation semantics In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1986
Corrections to: 'Constrained normalization of Hamiltonian systems and perturbed Keplerian motion' Article

ZAMP: Zeitschrift für angewandte Mathematik und Physik, 37(6), 931-931.

J.-C. van der Meer and R. Cushman

January 1986
Constrained normalization of Hamiltonian systems and perturbed Keplerian motion Article

ZAMP: Zeitschrift für angewandte Mathematik und Physik, 37(3), 402-424.

J.-C. van der Meer and R. Cushman

January 1986
A queueing model of finite and infinite source interaction Article

Operations Research Letters, 5(5), 245-254.

O.J. Boxma (Onno)

January 1986
Hopf bifurcation in host-parasitoid models Article

IMA journal of mathematics applied in medicine and biology, 3(3), 191-209.

H.A. Lauwerier and J.A.J. Metz

January 1986
Cryptanalysis of DES with a reduced number of rounds: sequences of linear factors in block ciphers In Proceedings

D. Chaum (David) and J.-H. Evertse (Jan-Hendrik)

January 1986
Contrasting themes in the semantics of imperative concurrency In Proceedings

J.W. de Bakker (Jaco), J.N. Kok (Joost), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

January 1986
Algebra of communicating processes In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1986

Previous

Next