![Concurrency / Theoretical computer science / Computer programming / Algorithm / Mathematical logic / Non-blocking algorithm / Linearizability / Concurrent data structure / Actor model / Computing / Concurrency control / Concurrent computing Concurrency / Theoretical computer science / Computer programming / Algorithm / Mathematical logic / Non-blocking algorithm / Linearizability / Concurrent data structure / Actor model / Computing / Concurrency control / Concurrent computing](https://www.pdfsearch.io/img/b9597940439d0ba681ee7e58f003874c.jpg) Date: 2008-04-08 00:54:02Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing | | Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading ListSource URL: www.cs.technion.ac.ilDownload Document from Source Website File Size: 118,56 KBShare Document on Facebook
|