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
|