Matthew Hennessy
6 published titles
Algebraic theory of processes
1 edition
- ISBN: 0262081717
- MIT Press
- 1988
- Details
The semantics of programming languages : an elementary introduction using structural operational semantics
1 edition
- ISBN: 0471927724
- Wiley & Sons
- 1990
- Details
On the decidability of non-interleaving process equivalences
(Contributor)
1 edition
- Computer Science, School of Cognitive and Computing Sciences, University of Sussex
- 1994
- Details
Weak bisimulations for a calculus of broadcasting systems
1 edition
- University of Sussex Computer Science
- 1995
- Details
Location and link failure in a distributed [pi]-calculus
(Contributor)
1 edition
- Department of Informatics, University of Sussex
- 2005
- Details
A distributed pi-calculus
1 edition
- ISBN: 9780521873307
- Cambridge University Press
- 2007
- Details
