J. W. De Bakker
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryAD
A Decade of concurrency
cover - Image source: Open LibrarySF
Semantics
cover - Image source: Open LibraryRT
Real-time, theory in practice
cover - Image source: Open LibraryTY
Ten Years of Concurrency Semantics
cover - Image source: Open LibraryFO
Foundations of object-oriented languages
cover - Image source: Open LibrarySR
Stepwise refinement of distributed systems
cover - Image source: Open LibraryPP
PARLE, parallel architectures and languages Europe
cover - Image source: Open LibraryCT
Current trends in concurrency
cover - CFControl Flow SemanticsJ. W. De Bakker
Control Flow Semantics
no cover - LTLinear Time, Branching Time, an...J. W. De Bakker
Linear time, branching time, and partial order in logics and models for concurrency
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
A Decade of concurrency
- Open Work
Semantics
- Open Work
Real-time, theory in practice
- Open Work
Ten Years of Concurrency Semantics
- Open Work
Foundations of object-oriented languages
- Open Work
Stepwise refinement of distributed systems
- Open Work
PARLE, parallel architectures and languages Europe
- Open Work
Current trends in concurrency
- Open Work
Control Flow Semantics
- Open Work
Linear time, branching time, and partial order in logics and models for concurrency