J. W. de Bakker

Control flow semantics

1996

Mathematical theory of program correctness

1980

Recursive procedures

Recursive procedures

1971

Formal definition of programming languages

1967

On convex sublattices of distribu...

On convex sublattices of distributive lattices

1967

A Decade of concurrency

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

Formal definition of programming ...

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

Year unknown

Foundations of computer science

Foundations of computer science

Year unknown

Foundations of computer science II

Foundations of computer science II

Year unknown Krzysztof R. Apt and J. W. de Bakker

Foundations of computer science III

Foundations of computer science III

Year unknown J. W. de Bakker and J. van Leeuwen

Foundations of computer science IV

Foundations of computer science IV

Year unknown J. W. de Bakker and J. van Leeuwen

Languages for parallel architectures

Year unknown

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

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

Logic programming languages

Year unknown Krzysztof R. Apt and J. W. de Bakker

Mathematics and computer science

Year unknown J. W. de Bakker, Michiel Hazewinkel, and J. K. Lenstra

PARLE

Year unknown J. W. de Bakker, A. J. Nijman, and P. C. Treleaven

PARLE

Year unknown J. W. de Bakker, A. J. Nijman, and P. C. Treleaven

Stepwise refinement of distributed systems

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

Ten years of concurrency semantics

Year unknown