A conditional critical region pre-processor for C based on the Owicki and Gries scheme

• Authors:

• Michael F. Kilian

• Affiliations:

• Rensselaer Polytechnic Institute

• Venue:
• ACM SIGPLAN Notices
• Year:
• 1985