@InProceedings{CCJR07a, author = {Prakash Chandrasekaran and Christopher L. Conway and Joseph M. Joy and Sriram K. Rajamani}, title = {Programming Asynchronous Layers with {CLARITY}}, pages = {65-74}, booktitle = {Foundations of Software Engineering (FSE)}, address = {Dubrovnik, Croatia}, month = sep, year = 2007, doi = {http://doi.acm.org/10.1145/1287624.1287636} } @TechReport{CCJR07b, author = {Prakash Chandrasekaran and Christopher L. Conway and Joseph M. Joy and Sriram K. Rajamani}, title = {Programming Asynchronous Layers with {CLARITY}}, institution = {Microsoft Research}, number = {MSR-TR-2007-80}, year = 2007, }