Programming asynchronous layers with CLARITY (2007)

by P Chandrasekaran, C L Conway, J M Joy, S K Rajamani
Venue:In 6th ESEC