| Handbook of Process Algebra SA Smolka, JA Bergstra, A Ponse Elsevier, 2001 | 1009* | 2001 |
| The syntax and semantics of muCRL JF Groote, A Ponse Algebra of Communicating Processes'94, 26-62, 1995 | 489 | 1995 |
| Proof theory for muCRL JF Groote, A Ponse Report CS-R9138, CWI, Amsterdam, 1991 | 186* | 1991 |
| Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994 | 165 | 1994 |
| Linearization in parallel pCRL JF Groote, A Ponse, YS Usenko The Journal of Logic and Algebraic Programming 48 (1-2), 39-70, 2001 | 78 | 2001 |
| Combining programs and state machines JA Bergstra, A Ponse The Journal of Logic and Algebraic Programming 51 (2), 175-192, 2002 | 61 | 2002 |
| Process algebra with guards: combining Hoare logic and process algebra (extended abstract) JF Groote, A Ponse Proceedings CONCUR 91 527 (LNCS), 235-249, 1991 | 56* | 1991 |
| Division by zero in common meadows JA Bergstra, A Ponse Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the …, 2015 | 55 | 2015 |
| Cancellation Meadows: A Generic Basis Theorem and Some Applications JA Bergstra, I Bethke, A Ponse The Computer Journal, bxs028, 2012 | 54 | 2012 |
| Process algebra with recursive operations JA Bergstra, W Fokkink, A Ponse Handbook of process algebra, 333-389, 2001 | 54 | 2001 |
| Execution architectures for program algebra JA Bergstra, A Ponse Journal of Applied Logic 5 (1), 170-192, 2007 | 50 | 2007 |
| Process algebra with guards: Combining Hoare logic with process algebra JF Groote, A Ponse Report CS-R9069, CWI, Amsterdam, 1990 | 48* | 1990 |
| An introduction to program and thread algebra A Ponse, MB van der Zwaag Conference on Computability in Europe, 445-458, 2006 | 40 | 2006 |
| Translating a process algebra with symbolic data values to linear format D Bosscher, A Ponse Proceedings of the Workshop on Tools and Algorithms for the Construction and …, 1995 | 33 | 1995 |
| Process algebra with backtracking JA Bergstra, A Ponse, JJ Van Wamel A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 33 | 1994 |
| Fracpairs and fractions over a reduced commutative ring JA Bergstra, A Ponse Indagationes Mathematicae 27 (3), 727-748, 2016 | 31 | 2016 |
| Proposition algebra JA Bergstra, A Ponse ACM Transactions on Computational Logic (TOCL) 12 (3), 1-36, 2011 | 30 | 2011 |
| Modal logic and process algebra: a bisimulation perspective M Rijke, Y Venema CSLI Publications, 1996 | 27 | 1996 |
| muCRL: A base for analysing processes with data JF Groote, A Ponse Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, GMD …, 1991 | 26* | 1991 |
| Branching time and orthogonal bisimulation equivalence JA Bergstra, A Ponse, MB van der Zwaag Theoretical Computer Science 309 (1-3), 313-355, 2003 | 24 | 2003 |
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLEmail yang diverifikasi di uva.nl
