Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

Merro, Massimo and Hennessy, Matthew (2005) A Bisimulation-Based Semantic Theory of Safe Ambients. ACM Transactions on Programming Languages and Systems, 28 (2). pp. 290-330. ISSN 0164-0925

Hennessy, Matthew and Riely, James (2002) Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems, 24 (5). pp. 566-591. ISSN 0164-0925

Hennessy, Matthew, Riely, James and Unset (2002) Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems, 24 (5). pp. 566-591. ISSN 0164-0925

This list was generated on Thu May 25 02:33:49 2017 BST.