Statistics
Publications
84
Citations
7K
H-Index
41
Active since
1976
Affiliations
Matthew Hennessy is an author at University of Sussex specializing in computer science, computing, and formal methods.
Publications per year
1976–2016
84
84
Algebraic laws for nondeterminism and concurrency
Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations
Testing equivalences for processes
Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations
Matthew Hennessy, Hui Lin · Theoretical Computer Science · 1995 · 315 citations
A Process Algebra for Timed Systems
Matthew Hennessy, Tim Regan · Information and Computation · 1995 · 261 citations
1–5 of 84