J. W. de Bakker
J. W. de Bakker
1939
3 books in the database
Books
A Decade of concurrencyJ. W. de Bakker
A Decade of concurrency
J. W. de Bakker · 1994
Stepwise refinement of distributed systemsJ. W. de Bakker
Stepwise refinement of distributed systems
J. W. de Bakker · 1990
Languages for parallel architecturesJ. W. de Bakker
Languages for parallel architectures
J. W. de Bakker · 1989
Co-authored books and collections
Books that list J. W. de Bakker among their authors but not as the lead author: co-written works, collections and compilations.
Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyWillem-Paul de Roever
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Willem-Paul de Roever · 1989
Logic programming languagesKrzysztof R. Apt
Logic programming languages
Krzysztof R. Apt · 1993