Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 17
Number of items: 17
  • Ponse, A., & van der Zwaag, M. B. (2006). Risk Assessment for One-Counter Threads. Programming Research Group, UvA.
  • Ponse, A., & van der Zwaag, M. B. (2006). A generalization of ACP using Belnaps logic: Extended abstract. Electronic Notes in Theoretical Computer Science, 162, 287-293.
  • Ponse, A., & van der Zwaag, M. B. (2006). An Introduction to Program and Thread Algebra. Lecture Notes in Computer Science, 3988, 445-458. https://doi.org/10.1007/11780342_46
  • 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
  • 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
  • Open Access
    van der Zwaag, M. B. (2002). Models and logics for process algebra. [Thesis, externally prepared, Informatics Institute]. Institute for Programming Research and Algorithmics.
  • Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2000). Branching Time and Orthogonal Bisimulation Equivalence. (Report SEN; No. R0035). CWI.
Page 2 of 2