A Timed Failures Model for Extended Communicating Processes.

Rob Gerth, Andy Boucher

Browse the full ICALP paper archive.