Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Open Access
    Baeten, J. C. M., Bergstra, J. A., & Smolka, S. A. (1995). Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation, 121(2), 234-254. https://doi.org/10.1006/inco.1995.1135
  • Bergstra, J. A., & Klint, P. (1994). The ToolBus component interconnection architecture, overview and first experiences. In A. Aerts, & Baeten (Eds.), Proceedings Tweede Landelijke Specificatie Dag, Eindhoven (pp. 1-12). Eindhover University of Technology.
  • Bergstra, J. A., & Klop, J. W. (1994). The algebra of recursively defined processes and the algebra of regular processes. In C. Verhoef, A. Ponse, & S. F. M. Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 1-25). (Workshops in Computing). Springer Verlag.
  • Bergstra, J. A., Heering, J., & Klop, J. W. (1994). Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples. In A. Schrijver, K. R. Apt, & N. M. Temme (Eds.), From Universal Morphisms to Megabytes - a Baayen Space Odyssey (pp. 187-213). CWI.
  • Bergstra, J. A., Ponse, A., & van Wamel, J. J. (1994). Process Algebra with Backtracking. In 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 (pp. 46-91). (Lecture Notes in Computer Science; Vol. 803). Springer. https://doi.org/10.1007/3-540-58043-3_17
  • Baeten, J. C. M., & Bergstra, J. A. (1994). Process algebra with partial choice. In J. Parrow, & B. Jonsson (Eds.), Proceedings CONCUR 94, Uppsala, Sweden (pp. 401-416). (Lecture Notes in Computer Science; No. 836). Springer Verlag.
  • Baeten, J. C. M., Bergstra, J. A., & Bol, R. N. (1994). A real time process logic. In H. J. Ohlbach, & D. M. Gabbay (Eds.), Proceedings ICTL 94 (pp. 30-47). (LNAI; No. 827). Springer Verlag.
  • Bergstra, J. A., & Baeten, J. C. M. (1994). Graph isomorphism models for non interleaving process algebra. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 299-318). (Workshops in Computing). Springer Verlag.
  • Baeten, J. C. M., & Bergstra, J. A. (1994). Real time process algebra with infinitesimals. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 148-187). (Workshops in Computing). Springer Verlag.
  • Drost, N. (1994). Process Theory and Equation Solving. [Thesis, fully internal, Universiteit van Amsterdam].
Page 36 of 37