"Verification of message passing concurrent systems."

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