The Benefits of Exposing Calls and Returns.

Rajeev Alur

Browse the full CONCUR paper archive.