Reasoning About Concurrent Systems Using Types.

Davide Sangiorgi

Browse the full FOSSACS paper archive.