J. W. De Bakker profile picture

J. W. De Bakker

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Current trends in concurrency
A Decade of concurrency
Stepwise refinement of distributed systems
Mathematics and computer science
Ten years of concurrency semantics
PARLE
Languages for parallel architectures
Parallel Architectures and Languages Europe Parallel architectures : Eindhoven, The Netherlands, June 15 - 19, 1987. 1987. Vol. 1
Logic Programming Languages Constraints, Functions, and Objects
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science)
PARLE, parallel architectures and languages Europe: Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990 (Lecture Notes in Computer Science)
Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)
Mathematical theory of program correctness
Stepwise refinement of distributed systems: models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings

See All