Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 108
Number of items: 108
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2005). Decision Problems for Pushdown Threads. (PRG0502). Informatics Institute.
  • Ponse, A., & van der Zwaag, M. B. (2005). ACP and Belnap's logic. In L. Aceto, & A. D. Gordon (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond: Bertinoro (Forl`ı), Italy, August 1–5, 2005 (Vol. 05-03, pp. 204-208). (BRICS Notes Series publications).. https://www.brics.dk/NS/05/3/index.html
  • Bethke, I., & Ponse, A. (2003). Programma-Algebra, een inleiding tot de Programmatuur. Vossiuspers UvA.
  • Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2003). Branching Time and Orthogonal Bisimulation Equivalence. Theoretical Computer Science, 309(1-3), 313-355. https://doi.org/10.1016/S0304-3975(03)00277-9
  • Ponse, A. (2002). Program algebra with unit instruction operators. The Journal of Logic and Algebraic Programming, 51(2), 157-174. https://doi.org/10.1016/S1567-8326(02)00019-X
  • Bergstra, J. A., & Ponse, A. (2002). Combining programs and state machines. The Journal of Logic and Algebraic Programming, 51(2), 175-192. https://doi.org/10.1016/S1567-8326(02)00020-6
  • Bergstra, J. A., & Ponse, A. (2001). Register-machine based processes. Journal of the Association for Computing Machinery, 48(6), 1207-1241. https://doi.org/10.1145/504794.504799
  • Groote, J. F., Ponse, A., & Usenko, Y. S. (2001). Linearization in parallel pCRL. The Journal of Logic and Algebraic Programming, 48, 39-70. https://doi.org/10.1016/S1567-8326(01)00005-4
  • Bergstra, J. A., Fokkink, W. J., & Ponse, A. (2001). Process algebra with recursive operations. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 333-389). Elsevier.
  • Bergstra, J. A., & Ponse, A. (2001). Process algebra and conditional composition. Information Processing Letters, 80(1), 41-49. https://doi.org/10.1016/S0020-0190(01)00216-2
Page 7 of 11