tptl-dist: A Calculus for Verifying Real-Time Distributed Systems.

Javier Enrquez Mendoza, Sam Speight, Vincent Rahli

Browse the full FORTE paper archive.