J. W. De Bakker

Books by J. W. De Bakker

Total count: 9

• 
  Parle: Parallel Architectures and Languages EuropeParallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings (Lecture Notes in Computer Science)

  Springer1987-08-01
• Linear Time, Branching Time, and Partial Order in Logics and Models for ConcurrencySchool/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)

  Springer1989-07-01
• Stepwise Refinement of Distributed Systems: Models, Formalisms, CorrectnessProceedings (Lecture Notes in Computer Science)

  Springer1990-06-01
• Foundations of Object-Oriented LanguagesRex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 (Lecture Notes in Computer Science)

  Springer1991-05-01
• Ten Years of Concurrency SemanticsSelected Papers of the Amsterdam Concurrency Group

  World Scientific Publishing Co Pte Ltd1992-01-01
• Real-Time: Theory in PracticeRex Workshop Mook, the Netherlands, June 1991 Proceedings (Lecture Notes in Computer Science)

  Springer1992-08-01
• Semantics: Foundations and ApplicationsRex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings (Lecture Notes in Computer Science)

  Springer1993-06-01
• A Decade of Concurrency: Reflections and Perspectives : Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993Proceedings (Lecture Notes in Computer Science)

  Springer1994-08-01
• Control Flow Semantics

  MIT Press1996-01-01