J. W. de Bakker

1939

• Formal definition of programming languages
• Mathematical theory of program correctness
• A Decade of concurrency
• Control flow semantics
• Languages for parallel architectures
• Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
• Logic programming languages
• Mathematics and computer science
• PARLE
• PARLE
• Stepwise refinement of distributed systems
• Ten years of concurrency semantics