![Concurrency control / Computing / Edsger W. Dijkstra / Concurrent computing / Computer programming / Concurrency / Transaction processing / Synchronization / Lock / Monitor / Parallel computing / Granularity Concurrency control / Computing / Edsger W. Dijkstra / Concurrent computing / Computer programming / Concurrency / Transaction processing / Synchronization / Lock / Monitor / Parallel computing / Granularity](https://www.pdfsearch.io/img/6ffa95bb82484eac335f267edc2faeb4.jpg) Date: 2016-07-15 23:00:36Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity | | An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,Add to Reading ListSource URL: www.cs.purdue.eduDownload Document from Source Website File Size: 180,56 KBShare Document on Facebook
|