21 treff

Control flow semantics
Bakker, J. W. de
Bok Engelsk 1996
A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings
REX School/Symposium
Bok Engelsk 1994
Logic programming languages : constraints, functions, and objects
edited by K. R. Apt, J. W. de Bakker, and...
Bok Engelsk 1993
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
REX Workshop
Bok Engelsk 1993
Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
editors: J.W. de Bakker, J.J.M.M. Rutten
Bok Engelsk 1992
Real-time : theory in practice : REX Workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings
REX Workshop
Bok Engelsk 1992
Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings
REX School/Workshop
Bok Engelsk 1991
Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
REX Workshop
Bok Engelsk 1990
Languages for parallel architectures : design, semantics, implementation models
edited by J. W. de Bakker
Bok Språk ikke angitt 1989
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
J. W. de Bakker, W.-P. de Roever, G. Roze...
Bok Engelsk 1989
Parallel architectures
PARLE '87
Bok Engelsk 1987
Parallel languages
PARLE '87
Bok Engelsk 1987
Current trends in concurrency : overviews and tutorials
edited by J. W. de Bakker, W.-P. de Roeve...
Bok Språk ikke angitt 1986
Mathematics and computer science : proceedings of the CWI symposium, November 1983
edited by J. W. de Bakker, M. Hazewinkel,...
Bok Språk ikke angitt 1986
Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages : a tribute to ... A. van Wijngaarden on the occasion of his retirement from the Mathematical Centre
International Symposium on Algorithmic Languages
Bok Engelsk 1981
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1980
Foundations of computer science
J.W. de Bakker
Bok Engelsk 1975
Recursive procedures
by J. W. de Bakker
Bok Engelsk 1971
MC-25 Informatica Symposium
MC-25 Informatica Symposium
Bok Engelsk 1971
Formal definition of programming languages : with an application to the definition of algol 60
Bakker, J. W. de
Bok Engelsk 1967
Formal definition of algorithmic languages : with an application to the definition of ALGOL 60
Bakker, J. W. de
Bok Engelsk 1965