J
J. W. De Bakker
9 works on record
Works

Current trends in concurrency

A Decade of concurrency

Stepwise refinement of distributed systems

Semantics

Foundations of object-oriented languages

Real-time, theory in practice

PARLE, parallel architectures and languages Europe

Ten Years of Concurrency Semantics
Control Flow Semantics
Control Flow Semantics