found at the ENTCS Macro Home Page. Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (2007)

Cached

Download Links

by Unknown Authors