The Essence of Concurrent ML (1997)

by Claudio V. Russo , Yingqi Xiao
Venue:In ML with Concurrency: Design, Analysis, Implementation, and Application
Citations:43 - 1 self

Documents Related by Co-Citation

426 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
212 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
436 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
440 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1989
1184 A bridging model for parallel computation – L G Valiant - 1990
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
565 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985