Matthew Hennessy

Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Matthew Hennessy', query time: 0.07s Refine Results
  1. 1
    Process Behaviour: Formulae vs. Tests (Extended Abstract)
    by Andrea Cerone, Matthew Hennessy
    Published 2010-11-01
    Get full text
    Article
  2. 2
    Uniqueness Typing for Resource Management in Message-Passing Concurrency
    Get full text
    Article
  3. 3
    Real-Reward Testing for Probabilistic Processes (Extended Abstract)
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search