- Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism
and concurrency. Journal of the ACM, 32(1):137-161,
January 1985.
Citations.
- M. Hennessy. Acceptance
trees. Journal of the ACM, 32(4):896-928, October 1985.
Citations.
- Ilaria Castellani and Matthew Hennessy. Distributed bisimulations.
Journal of the ACM, 36(4):887-911, October 1989.
Citations.
- L. Aceto and M. Hennessy. Termination, deadlock, and
divergence. Journal of the ACM, 39(1):147-187, January
1992.
References
and Citations.
Shortcuts: