Home Advanced Search

Advanced Search - Page 1

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.)
Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994
  • PDF
  • English
  • Year: 1995
  • Author: J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)
Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: J. W. Klop (auth.), Tobias Nipkow (eds.)
Process algebra
  • DJVU
  • English
  • Year: 1990
  • Author: J. C. M. Baeten, W. P. Weijland
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: J. R. Kennaway, J. W. Klop, M. R. Sleep (auth.), Ronald V. Book (eds.)
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
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.)
Process Algebra: Equational Theories of Communicating Processes
  • PDF
  • English
  • Year: 2010
  • Author: J. C. M. Baeten, T. Basten, M. A. Reniers
search