"Verification of message passing concurrent systems."

Emanuele D'Osualdo (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics