Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 368
Number of items: 368
  • Bergstra, J. A., Middelburg, C. A., & Stefanescu, G. (1995). Network algebra for synchronous and asynchronous dataflow. (Technical Report; No. P9508). onbekend (FdL).
  • Bergstra, J. A., Hillebrand, J. A., & Ponse, A. (1995). Grid protocols based on synchronous communication: specification and correctness. (Technical Report; No. P9511). onbekend (FdL).
  • Brunekreef, J. J. (1995). On Modular Algebraic Protocol Specification. [Thesis, externally prepared, Universiteit van Amsterdam].
  • van Wamel, J. J. (1995). Verification Techniques for Elementary Data Types and Retransmission Protocols. [Thesis, fully internal, Universiteit van Amsterdam].
  • van Benthem, J. F. A. K., & Bergstra, J. A. (1995). Logic of transition systems. Journal of Logic, Language and Information, 3, 247-283.
  • Open Access
    Bergstra, J. A., & Klint, P. (1995). Een architectuur voor componentkoppeling: de eerste ervaringen met deToolBus. Informatie, 37(6), 370-378.
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (1995). Equational specifications, complete term rewriting systems, and computable and. Journal of the Association for Computing Machinery, 42(6), 1194-1230. https://doi.org/10.1145/227683.227687
  • Open Access
    Bergstra, J. A., & Heering, J. (1995). Homomorphism preserving algebraic specifications require hidden sorts. Information and Computation, 119(1), 119-123. https://doi.org/10.1006/inco.1995.1079
  • Open Access
    Bergstra, J. A., & Tucker, J. V. (1995). The data type variety of stack algebras. Annals of Pure and Applied Logic, 73, 11-36. https://doi.org/10.1016/0168-0072(94)00038-5
  • Open Access
    van Benthem, J. F. A. K., & Bergstra, J. A. (1995). Logic of Transition Systems. Journal of Logic, Language and Information, 3(4), 247-283.
Page 35 of 37