Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 107
Number of items: 107
  • Bosscher, D. F., & Ponse, A. (1995). Translating a process algebra with symbolic data values to linear format. In U. H. Engberg, K. G. Larsen, & A. Skou (Eds.), Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 119-130). BRICS Notes Series, University of Aarhus.
  • Bergstra, J. A., Hillebrand, J. A., & Ponse, A. (1995). Grid protocols based on synchronous communication: specification and correctness. (Technical Report; No. P9511). onbekend (FdL).
  • Groote, J. F., & Ponse, A. (1994). The Syntax and Semantics of mCRL. In C. Verhoef, A. Ponse, & S. F. M. Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994 (pp. 26-62). (Workshops in Computing). Springer Verlag.
  • Bergstra, J. A., Ponse, A., & van Wamel, J. J. (1994). Process Algebra with Backtracking. In J. W. de Bakker, W.-P. de Roever, & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 : proceedings (pp. 46-91). (Lecture Notes in Computer Science; Vol. 803). Springer. https://doi.org/10.1007/3-540-58043-3_17
  • Groote, J. F., & Ponse, A. (1994). Proof Theory for mCRL: a Language for Processes with Data. In J. F. Groote, D. J. Andrews, & C. A. Middelburg (Eds.), Proceedings of the International Workshop on Semantics of Specification Languages (pp. 232-251). (Workshops in Computing). Springer-Verlag.
  • Open Access
    Groote, J. F., & Ponse, A. (1994). Process Algebra with Guards. Combining Hoare Logic and Process Algebra. Formal Aspects of Computing, 6, 115-164.
  • Open Access
    Bergstra, J. A., Bethke, I., & Ponse, A. (1994). Process algebra with iteration and nesting. Computer Journal, 37(4), 243-258. https://doi.org/10.1093/comjnl/37.4.243
Page 11 of 11