The following pages link to Matthew Hennessy
External toolsShowing 18 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Operational semantics (links | edit)
- Semantics (computer science) (links | edit)
- Process calculus (links | edit)
- Bunched logic (links | edit)
- Temporal Process Language (links | edit)
- List of University of Edinburgh people (links | edit)
- Hennessy–Milner logic (links | edit)
- Hennessy (surname) (links | edit)
- Hennessy, Matthew (redirect page) (links | edit)
- Talk:Matthew Hennessy (transclusion) (links | edit)
- Talk:Software testing (links | edit)
- Talk:Software testability (links | edit)
- User:Allan McInnes/Concurrency project (links | edit)
- User:Random832/WantedCats/Deleted (links | edit)
- User:Tony Sidaway/Living people/tranche 037 (links | edit)
- User:Stinglehammer/Edinburgh University (links | edit)
- Misplaced Pages:WikiProject Notability/Listing by project/Page 1 (links | edit)
- Misplaced Pages:WikiProject Science/Members of the Academia Europaea list (links | edit)