Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Klusener, A. S. (1994). Models and Axioms for a Fragment of Real Time Process Algebra. [Thesis, internally prepared, tue].
  • Korver, H. P. (1994). Protocol Verification in mCRL. [Thesis, internally prepared, Universiteit van Amsterdam].
  • 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., & 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
    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
    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
    Fokkink, W. J. (1994). Clocks, Trees and Stars in Process Theory. [Thesis, internally prepared, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Baeten, J. C. M., Bergstra, J. A., & Klop, J. W. (1993). Decidability of bisimulation equivalence for processes generating context free languages. Journal of the Association for Computing Machinery, 40(3), 653-682. https://doi.org/10.1145/174130.174141
Page 37 of 37