Centrum Wiskunde & Informatica

An operational semantics for process algebra Tech Report

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

January 1985
Global renaming operators in concrete process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1985
Program derivation through transformations: the evolution of list-copying algorithms Tech Report

N.W.P. van Diepen and W.P. de Roever

January 1985
Tape versus queue and stacks: the lower bounds Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1985
A conceptual modeling expert system Tech Report

M.L. Kersten (Martin), H. Weigand, F. Dignum and H.J. Boom

January 1985
Ready trace semantics for concrete process algebra with priority operator Tech Report

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

January 1985
Development, growth and time Tech Report

P.M.B. Vitányi (Paul)

January 1985
Incomplete Laplace integrals: uniform asymptotic expansions with application to the incomplete beta function Tech Report

N.M. Temme (Nico)

January 1985

Previous

Next