Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System.

Noriki Ogura, Keizo Saisho, Akira Fukuda

Browse the full APSEC paper archive.