Back to Results
First PageMeta Content
Mathematics / Formal languages / Temporal logic / Syntax / Metalogic / Logic / Metaphilosophy / Model theory / Linear temporal logic / Interpretation / Computation tree logic / Variable


Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.
Add to Reading List

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


Open Document

File Size: 254,60 KB

Share Result on Facebook