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

Sorry, there's nothing here.

Cite this paper

@inproceedings{Ogura1997DesignOP, title={Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System}, author={Noriki Ogura and Keizo Saisho and Akira Fukuda}, booktitle={APSEC}, year={1997} }