Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 107
Number of items: 107
  • Bergstra, J. A., & Ponse, A. (1999). Process algebra with five-valued logic. Australian Computer Science Communications, 21, 128-143.
  • Bergstra, J. A., & Ponse, A. (1998). Kleene's tree-valued logic and process algebra. Information Processing Letters, 67, 95-103. https://doi.org/10.1016/S0020-0190(98)00083-0
  • Bergstra, J. A., & Ponse, A. (1998). Grid protocol specifications. In Propects for hardware foundations (pp. 278-309). (LNCS; No. 1546). Springer Verlag GmbH.
  • Bergstra, J. A., & Ponse, A. (1998). Two recursive generalisations of iteration in process algebra. WINS (oud WINS).
  • Bergstra, J. A., & Ponse, A. (1997). Grid Protocol Specifications. (Technical Report; No. P9726). onbekend (FdL).
  • Bergstra, J. A., Hillebrand, J. A., & Ponse, A. (1997). Grid protocols based on synchronous communication. Science of Computer Programming, 29, 199-233. https://doi.org/10.1016/S0167-6423(96)00035-4
  • Bezem, M. A., & Ponse, A. (1997). Two finite specifications of a queue. Theoretical Computer Science, 177(2), 487-507. https://doi.org/10.1016/S0304-3975(96)00257-5
  • Bergstra, J. A., & Ponse, A. (1997). Bochvar-McCarthy Logic and Process Algebra. (Technical Report; No. P9722). onbekend (FdL).
  • Ponse, A., Verhoef, C., & van Vlijmen, S. F. M. (1997). Algebra of communicating processes. Theoretical Computer Science, 177(2), 285-507. https://doi.org/10.1016/S0304-3975(96)00249-6
  • Bergstra, J. A., & Ponse, A. (1997). Kleene's Three-Valued Logic and Process Algebra. (Technical Report; No. P9723). onbekend (FdL).
Page 9 of 11