J
J. W. de Bakker
1939
18 works on record
Works
Control flow semantics
1996
Mathematical theory of program correctness
1980
Formal definition of programming languages
1967
A Decade of concurrency
Stepwise refinement of distributed systems
Languages for parallel architectures
Mathematics and computer science
PARLE
Logic programming languages
Ten years of concurrency semantics
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Recursive procedures
Recursive procedures
1971
On convex sublattices of distributive lattices
On convex sublattices of distributive lattices
1967
Foundations of computer science
Foundations of computer science
Foundations of computer science III
Foundations of computer science III
Foundations of computer science IV
Foundations of computer science IV
Foundations of computer science II
Foundations of computer science II
Formal definition of programming languages, with an application to the definition of ALGOL 60
Formal definition of programming languages, with an application to the definition of ALGOL 60