Handbook of Process Algebra SA Smolka, JA Bergstra, A Ponse Elsevier, 2001 | 850* | 2001 |

The syntax and semantics of muCRL JF Groote, A Ponse Algebra of Communicating Processes'94, 26-62, 1995 | 456 | 1995 |

Proof theory for muCRL JF Groote, A Ponse Report CS-R9138, CWI, Amsterdam, 1991 | 177* | 1991 |

Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994 | 147 | 1994 |

Linearization in parallel pCRL JF Groote, A Ponse, YS Usenko The Journal of Logic and Algebraic Programming 48 (1-2), 39-70, 2001 | 67 | 2001 |

Combining programs and state machines JA Bergstra, A Ponse The Journal of Logic and Algebraic Programming 51 (2), 175-192, 2002 | 57 | 2002 |

Process algebra with recursive operations JA Bergstra, W Fokkink, A Ponse Handbook of process algebra, 333-389, 2001 | 49 | 2001 |

Execution architectures for program algebra JA Bergstra, A Ponse Journal of Applied Logic 5 (1), 170-192, 2007 | 42 | 2007 |

Process algebra with guards: combining Hoare logic and process algebra (extended abstract) JF Groote, A Ponse Proceedings CONCUR 91 527 (LNCS), 235-249, 1991 | 40* | 1991 |

An introduction to program and thread algebra A Ponse, MB Van Der Zwaag Conference on Computability in Europe, 445-458, 2006 | 38 | 2006 |

Cancellation Meadows: A Generic Basis Theorem and Some Applications JA Bergstra, I Bethke, A Ponse The Computer Journal, bxs028, 2012 | 36 | 2012 |

Handbook of process algebra RJ van Glabbeek, J Bergstra, A Ponse, SA Smolka Handbook of Process Algebra, chap. The Linear Time—Branching Time Spectrum …, 2001 | 35 | 2001 |

Process algebra with guards: Combining Hoare logic with process algebra JF Groote, A Ponse Report CS-R9069, CWI, Amsterdam, 1990 | 35* | 1990 |

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 | 32 | 1995 |

Division by zero in common meadows JA Bergstra, A Ponse Software, Services, and Systems, 46-61, 2015 | 31 | 2015 |

Process algebra with backtracking JA Bergstra, A Ponse, JJ Van Wamel Workshop/School/Symposium of the REX Project (Research and Education in …, 1993 | 28 | 1993 |

muCRL: A base for analysing processes with data JF Groote, A Ponse Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, GMD …, 1991 | 27* | 1991 |

Modal Logic and Process Algebra a Bisimulation Perspective A Ponse, M de Rijke, Y Venema | 23 | 1995 |

Kleene's three-valued logic and process algebra JA Bergstra, A Ponse Information Processing Letters 67 (2), 95-103, 1998 | 21 | 1998 |

Process algebra with iteration JA Bergstra, I Bethke, A Ponse University of Amsterdam, Faculty of Mathematics and Computer Science …, 1993 | 21 | 1993 |