J. W. de Bakker

No bio available. Add one in Open Library.

Books by J. W. de Bakker (50 max)

+ shelf+ list

Termination of nondeterministic programs.

1975

J. W. de Bakker

+ shelf+ list

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)

1986

J. W. de Bakker, W. P. De Roever, Grzegorz Rozenberg

+ shelf+ list

PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science)

1987

J. W. de Bakker, A. J. Nijman, P. C. Treleaven

+ shelf+ list

Logic Programming Languages: Constraints, Functions, and Objects (Logic Programming)

1993

Krzysztof R. Apt, J. W. de Bakker