Centrum Wiskunde & Informatica

Infinite streams and finite observations in the semantics of uniform concurrency Tech Report

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

January 1985
Taalprimitiva in B voor grafisch editen [Language primitives in B for graphical editing] : een verkenning [a survey] Tech Report

M.J.A.C. Andreoli

January 1985
Semantics of logic programming Tech Report

S. van Veen and E.P. de Vink (Erik)

January 1985
Readies and failures in the algebra of communicating processes Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

January 1985
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

Previous

Next