👤

J. W. de Bakker

b. 1939 ยท 15 books

Books by J. W. de Bakker

Control flow semantics
Control flow semantics
1996
A Decade of concurrency
A Decade of concurrency
1994
Logic programming languages
Logic programming languages
1993
Ten years of concurrency semantics
Ten years of concurrency semantics
1992
Stepwise refinement of distributed systems
Stepwise refinement of distributed systems
1990
Languages for parallel architectures
Languages for parallel architectures
1989
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
1989
Foundations of computer scienc
Foundations of computer science IV
1983
Mathematical theory of program correctness
Mathematical theory of program correctness
1980
Foundations of computer scienc
Foundations of computer science III
1979
Foundations of computer scienc
Foundations of computer science II
1976
Recursive procedures
Recursive procedures
1971
Formal definition of programming languages
Formal definition of programming languages
1967
Formal definition of programmi
Formal definition of programming languages, with an application to the definition of ALGOL 60
1967
On convex sublattices of distr
On convex sublattices of distributive lattices
1967