Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Korver, H. P. (1994). Protocol Verification in mCRL. [Thesis, internally prepared, Universiteit van Amsterdam].
  • 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.
  • Open Access
    Bergstra, J. A., & Stefanescu, G. (1994). Bisimulation is two-way simulation. Information Processing Letters, 52, 285-287. https://doi.org/10.1016/0020-0190(94)00165-0
  • Open Access
    Bergstra, J. A., & Heering, J. (1994). Which data types have omega-complete initial algebra specifications? Theoretical Computer Science, 124, 149-168. https://doi.org/10.1016/0304-3975(94)90057-4
  • Open Access
    Baeten, J. C. M., & Bergstra, J. A. (1994). On sequential composition, action prefixes and process prefix. Formal Aspects of Computing, 6, 250-268.
  • Open Access
    Bergstra, J. A., Bethke, I., & Ponse, A. (1994). Process algebra with iteration and nesting. Computer Journal, 37(4), 243-258. https://doi.org/10.1093/comjnl/37.4.243
  • Open Access
    Fokkink, W. J. (1994). Clocks, Trees and Stars in Process Theory. [Thesis, internally prepared, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Page 37 of 38