Mailbox Abstractions for Static Analysis of Actor Programs.

Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Browse the full ECOOP paper archive.