J. W. de Bakker

Born: 1939

No bio available. Add one in Open Library.

Born: 1939

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

+ shelf+ list

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

1990

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

+ shelf+ list

A Decade of Concurrency: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science)

1994

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

+ shelf+ list

Formal definition of programming languages.: With an application to the definition of algol 60.

1967

J. W. de Bakker

+ shelf+ list

Languages for Parallel Architectures: Design, Semantics, Implementation Models (Wiley Series in Parallel Computing)

1989

J. W. de Bakker

+ shelf+ list

Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

1989

Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever

+ shelf+ list

Logic Programming Languages: Constraints, Functions, and Objects

1993

Krzysztof R. Apt, J. W. de Bakker

+ shelf+ list

On convex sublattices of distributive lattices

1967

J. W. de Bakker

+ shelf+ list

Formal definition of programming languages, with an application to the definition of ALGOL 60

1967

J. W. de Bakker

+ shelf+ list

Recursive procedures

1971

J. W. de Bakker

+ shelf+ list

Foundations of computer science

1975

J. W. de Bakker

+ shelf+ list

Foundations of computer science II

1976

Krzysztof R. Apt, J. W. de Bakker

+ shelf+ list

Foundations of computer science III

1979

J. W. de Bakker, J. van Leeuwen

+ shelf+ list

Mathematical theory of program correctness

1980

J. W. de Bakker

+ shelf+ list

Foundations of computer science IV: distributed systems

1983

J. W. de Bakker, J. van Leeuwen

+ shelf+ list

Mathematics and computer science: proceedings of the CWI symposium, November 1983

1986

J. W. de Bakker, Michiel Hazewinkel, J. K. Lenstra

+ shelf+ list

PARLE: Parallel architectures and languages Europe. : Proceedings

1987

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

+ shelf+ list

PARLE: Parallel architectures and languages Europe. : Proceedings

1987

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

+ shelf+ list

Ten years of concurrency semantics: selected papers of the Amsterdam Concurrency Group

1992

J. W. de Bakker

+ shelf+ list

Control flow semantics

1996

J. W. de Bakker