J. W. de Bakker
No biography available.
Works (11)
Mathematical theory of program correctness
1980
Formal definition of programming languages
1967
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
PARLE
Logic programming languages
Languages for parallel architectures
Control flow semantics
1996
Ten years of concurrency semantics
Stepwise refinement of distributed systems
Mathematics and computer science
A Decade of concurrency