Functional Computation as Concurrent Computation
Abstract
Available from TIB Hannover: RR 1812(95-14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliothek
Related papers
- Uniform confluence in concurrent computation JFP 2000
- A graded Monad for deadlock-free concurrency (functional pearl) Haskell 2020
- On the Relations Computable by a Class of Concurrent Automata POPL 1990
- Computable processes POPL 1990
- Prettier concurrency: purely functional concurrent revisions Haskell 2011
- A Unified Computation Model for Functional and Logic Programming POPL 1997
- A Logical Theory of Concurrent Objects OOPSLA 1990
- Editorial for the Special Issue on Parallel and Concurrent Functional Programming JFP 2018