Sciweavers

21 search results - page 5 / 5
» DRFX: a simple and efficient memory model for concurrent pro...
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 15 days ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...