On Efficient Models for Model Checking Message-Passing Distributed Protocols.

Pter Bokor, Marco Serafini, Neeraj Suri

Browse the full FORTE paper archive.