Gul A. Agha
-
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae