Bergstra, J. A., & Ponse, A. (1997). Process Algebra Primitives for File Transfer. (Technical Report; No. P9725). onbekend (FdL).
Bergstra, J. A., & Ponse, A. (1997). Process Algebra with Four-Valued Logic. (Technical Report; No. P9724). onbekend (FdL).
Ponse, A. (1996). Computable Processes and Bisimulation Equivalence. Formal Aspects of Computing, 8(6), 648-678.
Bezem, M. A., & Ponse, A. (1995). Two finite specifications of a queue. In C. Verhoef, S. F. M. van Vlijmen, & A. Ponse (Eds.), De proceedings: ACP'95 (pp. 121-137)
Ponse, A., de Rijke, M., & Venema, Y. (1995). Preface. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. vii-xi). (CSLI lecture notes; No. 53). CSLI Publications.
Ponse, A., Verhoef, C., & van Vlijmen, S. F. M. (1995). Algebra of Communicating Processes. (Workshops in Computing). Springer.
Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications.
Ponse, A., Verhoef, C., & van Vlijmen, S. F. M. (1995). De proceedings: ACP'95. (Computing Science Reports; No. 95-14). Eindhoven University of Technology.
Bergstra, J. A., & Ponse, A. (1995). Frame algebra with synchronous communication. In R. B. Feenstra, & R. J. Wieringa (Eds.), Information Systems - Correctness and Reusability (Selected papers from the ISCORE Workshop) (pp. 3-15). World Scientific.
Bergstra, J. A., & Ponse, A. (1995). Frame-based process logics. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra (pp. 39-63). (CSLI Lecture Notes; No. 53). CSLI Publications.
