Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 108
Number of items: 108
  • Bergstra, J. A., & Ponse, A. (2001). Non-regular iterators in process algebra. Theoretical Computer Science, 269(1-2), 203-229. https://doi.org/10.1016/S0304-3975(00)00413-8
  • Ponse, A. (2001). Iteration in process algebra. In R. Backhouse, D. Kozen, & B. Moeller (Eds.), Applications of Kleene Algebra, Report 298 (Report; No. 298). Dagstuhl Seminar no. 01081.
  • Bergstra, J. A., Ponse, A., & Smolka, S. A. (2001). Handbook of Process Algebra. Elsevier Science.
  • Ponse, A., & Usenko, Y. S. (2001). Equivalence of recursive specifications in process algebra. (Report; No. SEN-R0107). CWI.
  • Ponse, A., & Usenko, Y. S. (2001). Equivalence of recursive specifications in process algebra. Information Processing Letters, 80(1), 59-65. https://doi.org/10.1016/S0020-0190(01)00218-6
  • Groote, J. F., Ponse, A., & Usenko, Y. S. (2000). Linearization in parallel pCRL. (Report SEN; No. Roo19). CWI.
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Basic Multi-Competence Programming. (Report P0001). Informatics Institute.
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Data flow networks in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Faculteit der Natuurwetenschappen, Wiskunde en Informatica.
  • Bergstra, J. A., Ponse, A., & van der Zwaag, M. B. (2000). Branching Time and Orthogonal Bisimulation Equivalence. (Report SEN; No. R0035). CWI.
  • Bergstra, J. A., & Ponse, A. (2000). Process algebra with four-valued logic. Journal of Applied Non-Classical Logics, 10(1), 27-53.
Page 8 of 11