Browsing UTS Digital Theses Collection by Author "Given-Wilson, Thomas Paul"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing UTS Digital Theses Collection by Author "Given-Wilson, Thomas Paul"

Sort by: Order: Results:

  • Given-Wilson, Thomas Paul (2012)
    Ever since Milner showed that Church’s λ-calculus can be subsumed by π-calculus, process calculi have been expected to subsume sequential com-putation. However, Jay & Given-Wilson show that extensional sequential ...