Browse by Journal
Number of items: 2.
M
Moreau, Luc, Dickman, Peter, Jones, Richard E. (2005) Birrell's Distributed Reference Listing Revisited. ACM Transactions on Programming Languages and Systems (TOPLAS), 27 (6). pp. 1-52. ISSN 0164-0925. (KAR id:14235) |
W
Welch, Peter H., Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (4). pp. 182-196. ISSN 0164-0925. (doi:10.1145/1734206.1734211) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30673) |