Synthesis of synchronous assertions with guarded atomic actions.

Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil

Browse the full MEMOCODE paper archive.