Matthew Hennessy

Matthew Hennessy

Trinity College Dublin - Dublin / Ireland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1789897
Coláiste na Tríonóide, Baile Átha Cliath, Ollscoil Bhaile Átha Cliath
person_outline Matthew Hennessy's MOST POPULAR ARTICLES
1-) Algebraic laws for nondeterminism and concurrencyM Hennessy, R MilnerJournal of the ACM (JACM) 32 (1), 137-161, 198519161985
2-) Testing equivalences for processesR De Nicola, MCB HennessyTheoretical computer science 34 (1-2), 83-133, 198417861984
3-) Algebraic theory of processesM HennessyMIT press, 198813661988
4-) Symbolic bisimulationsM Hennessy, H LinTheoretical Computer Science 138 (2), 353-389, 19955271995
5-) On observing nondeterminism and concurrencyM Hennessy, R MilnerInternational Colloquium on Automata, Languages, and Programming, 299-309, 19805231980