Browse by Journal

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

Article

Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Björn (2017) Bit-precise procedure-modular termination analysis. ACM Transactions on Programming Languages and Systems. ISSN 0164-0925 (Accepted)

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 Mon Oct 16 19:38:31 2017 BST.