Home Advanced Search

Advanced Search - Page 1

A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Current Trends in Concurrency: Overviews and Tutorials
  • PDF
  • English
  • Year: 1986
  • Author: A. J. Nijman (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
  • PDF
  • English
  • Year: 1989
  • Author: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)
search