Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 371
Number of items: 371
  • Bergstra, J. A., & Ponse, A. (1997). Grid Protocol Specifications. (Technical Report; No. P9726). onbekend (FdL).
  • Bergstra, J. A., & Ponse, A. (1997). Bochvar-McCarthy Logic and Process Algebra. (Technical Report; No. P9722). onbekend (FdL).
  • Bosscher, D. J. B. (1997). Grammars modulo bisimulation. [Thesis, fully internal, Universiteit van Amsterdam].
  • Vereijken, J. J. (1997). Discrete Time Process Algebra. [Thesis, fully external, Eindhoven University of Technology].
  • Bergstra, J. A., & Ponse, A. (1997). Kleene's Three-Valued Logic and Process Algebra. (Technical Report; No. P9723). onbekend (FdL).
  • Bergstra, J. A., & Ponse, A. (1997). Process Algebra Primitives for File Transfer. (Technical Report; No. P9725). onbekend (FdL).
  • Bergstra, J. A., & Ponse, A. (1997). Process Algebra with Four-Valued Logic. (Technical Report; No. P9724). onbekend (FdL).
  • Bergstra, J. A., & Sellink, M. P. A. (1997). An Arithmetical Module for Rationals and Reals. (Technical Report; No. P9709). onbekend (FdL).
  • Sellink, M. P. A. (1996). Computer-Aided Verification of Protocols: the Type Theoretic Approach. [Thesis, fully external, UU].
  • Hillebrand, J. A. (1996). Experiments in Specification Re-Engineering. [Thesis, fully internal, Universiteit van Amsterdam]. UvA.
Page 32 of 38