Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

We present a framework that takes a concurrent program composed of unsynchronized processes, along with a temporal specification of their global concurrent behaviour, and automatically generates a concurrent program with synchronization ensuring correct global behaviour. Our methodology supports fin...

Full description

Bibliographic Details
Main Author: Roopsha Samanta
Format: Article
Language:English
Published: Open Publishing Association 2012-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1207.0868v1