matthew hennessy
matthew hennessy
Professor of Computer Science
Verified email at cs.tcd.ie - Homepage
Title
Cited by
Cited by
Year
Algebraic laws for nondeterminism and concurrency
M Hennessy, R Milner
Journal of the ACM (JACM) 32 (1), 137-161, 1985
18721985
Testing equivalences for processes
R De Nicola, MCB Hennessy
Theoretical computer science 34 (1-2), 83-133, 1984
17501984
Algebraic theory of processes
M Hennessy
Cambridge, MA; The MIT Press, 1988
13471988
On observing nondeterminism and concurrency
M Hennessy, R Milner
International Colloquium on Automata, Languages, and Programming, 299-309, 1980
4661980
Symbolic bisimulations
M Hennessy, H Lin
Theoretical Computer Science 138 (2), 353-389, 1995
4481995
Full abstraction for a simple parallel programming language
MCB Hennessy, GD Plotkin
International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979
3731979
Resource access control in systems of mobile agents
M Hennessy, J Riely
Information and Computation 173 (1), 82-120, 2002
3572002
A process algebra for timed systems
M Hennessy, T Regan
Information and computation 117 (2), 221-239, 1995
3421995
The semantics of programming languages: an elementary introduction using structural operational semantics
M Hennessy
John Wiley & Sons, Inc., 1990
3091990
A distributed Pi-calculus
M Hennessy
Cambridge University Press, 2007
2962007
Priorities in process algebras
R Cleaveland, M Hennessy
Information and Computation 87 (1-2), 58-77, 1990
2001990
Acceptance trees
M Hennessy
Journal of the ACM (JACM) 32 (4), 896-928, 1985
1961985
A typed language for distributed mobile processes
J Riely, M Hennessy
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
1931998
An efficiency preorder for processes
S Arun-Kumar, M Hennessy
Acta Informatica 29 (8), 737-760, 1992
1791992
Testing equivalence as a bisimulation equivalence
R Cleaveland, M Hennessy
Formal Aspects of Computing 5 (1), 1-20, 1993
1731993
Towards action-refinement in process algebras
L Aceto, M Hennessy
Information and Computation 103 (2), 204-269, 1993
1711993
Bisimulation congruences in safe ambients
M Merro, M Hennessy
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1472002
A temporal process algebra
M Hennessy, T Regan
Proceedings of the IFIP TC6/WG6. 1 Third International Conference on Formal …, 1990
1321990
Termination, deadlock, and divergence
L Aceto, M Hennessy
Journal of the ACM (JACM) 39 (1), 147-187, 1992
1291992
Resource access control in systems of mobile agents
M Hennessy, J Riely
Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998
1281998
The system can't perform the operation now. Try again later.
Articles 1–20