Faron Moller
- Cleaveland and Smolka 1996 Cleaveland, R. and S.A. Smolka (editors), 1996. Strategic Directions in Concurrency Research. Computing Surveys, 28(4) (December). Google Scholar
Digital Library
- Moller and Birtwistle 1996 Moller, F. and G. Birtwistle (editors), 1996. Logics for Concurrency: Structure versus Automata. Lecture Notes in Computer Science 1043. Springer-Verlag.Google Scholar
Index Terms
- Logics for concurrency: structure versus automata
Recommendations
Semantics-based concurrency control: beyond commutativity
The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Prettier concurrency: purely functional concurrent revisions
Haskell '11This article presents an extension to the work of Launchbury and Peyton-Jones on the ST monad. Using a novel model for concurrency, called concurrent revisions [3,5], we show how we can use concurrency together with imperative mutable variables, while ...
Extracting more concurrency from distributed transactions
OSDI'14: Proceedings of the 11th USENIX conference on Operating Systems Design and ImplementationDistributed storage systems run transactions across machines to ensure serializability. Traditional protocols for distributed transactions are based on two-phase locking (2PL) or optimistic concurrency control (OCC). 2PL serializes transactions as soon ...
Comments