Prophecy-Based Automated Verification of Message-Passing Programs.

Takashi Nagatomi, Musashi Katsura, Naoki Kobayashi, Yusuke Matsushita, Ken Sakayori

Browse the full CONCUR paper archive.