12 search results - page 3 / 3 » A Tutorial on Parallel and Concurrent Programming in Haskell |
IPPS
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...
WOTUG
2008
13 years 6 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...