Home Advanced Search

Advanced Search - Page 1

Applications of Process Algebra
  • DJVU
  • English
  • Year: 2004
  • Author: J. C. M. Baeten
Process Algebra with Timing
  • PDF
  • English
  • Year: 2002
  • Author: J. C. M. Baeten, C. A. Middelburg
Process algebra
  • DJVU
  • English
  • Year: 1990
  • Author: J. C. M. Baeten, W. P. Weijland
Process Algebra: Equational Theories of Communicating Processes
  • PDF
  • English
  • Year: 2010
  • Author: J. C. M. Baeten, T. Basten, M. A. Reniers
Process Algebra: Equational Theories of Communicating Processes
  • PDF
  • English
  • Year: 2009
  • Author: J. C. M. Baeten, T. Basten, M. A. Reniers
CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Eike Best (auth.), J. C. M. Baeten, J. W. Klop (eds.)
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)
CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Pierre America (auth.), Jos C. M. Baeten, Jan Frisco Groote (eds.)
CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Pierre America (auth.), Jos C. M. Baeten, Jan Frisco Groote (eds.)
search