Applications of process algebra JCM Baeten Cambridge university press, 2004 | 1920 | 2004 |

Real time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 3 (2), 142-188, 1991 | 549 | 1991 |

A brief history of process algebra JCM Baeten Theoretical Computer Science 335 (2-3), 131-146, 2005 | 508 | 2005 |

Process algebra: equational theories of communicating processes JCM Baeten, T Basten, T Basten, MA Reniers Cambridge university press, 2010 | 258 | 2010 |

Syntax and defining equations for an interrupt mechanism in process algebra JA Bergstra, JCM Baeten, JW Klop Fundamenta informaticae: quarterly 9, 127-167, 1986 | 244 | 1986 |

Process algebra with timing JCM Baeten, CA Middelburg Springer Science & Business Media, 2013 | 225 | 2013 |

On the consistency of Koomen's fair abstraction rule JCM Baeten, JA Bergstra, JW Klop Theoretical Computer Science 51 (1-2), 129-176, 1987 | 206 | 1987 |

Decidability of bisimulation equivalence for process generating context-free languages JCM Baeten, JA Bergstra, JW Klop Journal of the ACM (JACM) 40 (3), 653-682, 1993 | 166 | 1993 |

Global renaming operators in concrete process algebra JCM Baeten, JA Bergstra Information and Computation 78 (3), 205-245, 1988 | 166 | 1988 |

Decidability of bisimulation equivalence for processes generating context-free languages JCM Baeten, JA Bergstra, JW Klop International Conference on Parallel Architectures and Languages Europe, 94-111, 1987 | 157 | 1987 |

A congruence theorem for structured operational semantics with predicates JCM Baeten, C Verhoef International Conference on Concurrency Theory, 477-492, 1993 | 131 | 1993 |

G UNIVERSITY OF GGGGGGSGGGSS JCM Baeten, C Verhoef | 128 | 1995 |

Factors associated with social interactions between deaf children and their hearing peers: A systematic literature review G Batten, PM Oakes, T Alexander Journal of deaf studies and deaf education 19 (3), 285-302, 2014 | 125 | 2014 |

Process Algebra, volume 18 of JCM Baeten, WP Weijland Cambridge tracts in theoretical computer science, 141-147, 1990 | 124 | 1990 |

Axiomatizing probabilistic processes: ACP with generative probabilities JCM Baeten, JA Bergstra, SA Smolka Information and Computation 121 (2), 234-255, 1995 | 120 | 1995 |

Ready-trace semantics for concrete process algebra with the priority operator JCM Baeten, JA Bergstra, JW Klop The Computer Journal 30 (6), 498-506, 1987 | 106 | 1987 |

Discrete time process algebra JCM Baeten, JA Bergstra Formal aspects of computing 8 (2), 188-208, 1996 | 99 | 1996 |

Process algebra with timing: real time and discrete time JCM Baeten, CA Middelburg Handbook of process algebra, 627-684, 2001 | 87 | 2001 |

Process algebra with signals and conditions JCM Baeten, JA Bergstra Programming and Mathematical Method, 273-323, 1992 | 79 | 1992 |

Another look at abstraction in process algebra JCM Baeten, RJ van Glabbeek International Colloquium on Automata, Languages, and Programming, 84-94, 1987 | 71 | 1987 |