Back to Results
First PageMeta Content
Concurrency 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 List

Document Date: 2016-07-15 23:00:36


Open Document

File Size: 180,56 KB

Share Result on Facebook
UPDATE