A type system for resource protocol verification and its correctness proof.

Corneliu Popeea, Wei-Ngan Chin

Browse the full PEPM paper archive.