Actor Services - Modular Verification of Message Passing Programs.

Alexander J. Summers, Peter Mller

Browse the full ESOP paper archive.