Algebraic laws for nondeterminism and concurrency M Hennessy, R Milner Journal of the ACM (JACM) 32 (1), 137-161, 1985 | 1842 | 1985 |

Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984 | 1743 | 1984 |

Algebraic theory of processes M Hennessy Cambridge, MA; The MIT Press, 1988 | 1333 | 1988 |

On observing nondeterminism and concurrency M Hennessy, R Milner International Colloquium on Automata, Languages, and Programming, 299-309, 1980 | 450 | 1980 |

Symbolic bisimulations M Hennessy, H Lin Theoretical Computer Science 138 (2), 353-389, 1995 | 436 | 1995 |

Full abstraction for a simple parallel programming language MCB Hennessy, GD Plotkin International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979 | 369 | 1979 |

Resource access control in systems of mobile agents M Hennessy, J Riely Information and Computation 173 (1), 82-120, 2002 | 352 | 2002 |

A process algebra for timed systems M Hennessy, T Regan Information and computation 117 (2), 221-239, 1995 | 335 | 1995 |

The semantics of programming languages: an elementary introduction using structural operational semantics M Hennessy John Wiley & Sons, Inc., 1990 | 306 | 1990 |

A distributed Pi-calculus M Hennessy Cambridge University Press, 2007 | 286 | 2007 |

Priorities in process algebras R Cleaveland, M Hennessy Information and Computation 87 (1-2), 58-77, 1990 | 203 | 1990 |

A typed language for distributed mobile processes J Riely, M Hennessy Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 194 | 1998 |

Acceptance trees M Hennessy Journal of the ACM (JACM) 32 (4), 896-928, 1985 | 193 | 1985 |

An efficiency preorder for processes S Arun-Kumar, M Hennessy Acta Informatica 29 (8), 737-760, 1992 | 180 | 1992 |

Testing equivalence as a bisimulation equivalence R Cleaveland, M Hennessy Formal Aspects of Computing 5 (1), 1-20, 1993 | 173 | 1993 |

Towards action-refinement in process algebras L Aceto, M Hennessy Information and Computation 103 (2), 204-269, 1993 | 170 | 1993 |

Bisimulation congruences in safe ambients M Merro, M Hennessy Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 146 | 2002 |

Resource access control in systems of mobile agents M Hennessy, J Riely Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998 | 132 | 1998 |

Resolution of (±)-menthol by immobilized Candida rugosa lipase on superparamagnetic nanoparticles S Bai, Z Guo, W Liu, Y Sun Food Chemistry 96 (1), 1-7, 2006 | 131 | 2006 |

A temporal process algebra M Hennessy, T Regan Proceedings of the IFIP TC6/WG6. 1 Third International Conference on Formal …, 1990 | 131 | 1990 |