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

Noriki Ogura, Keizo Saisho, Akira Fukuda. Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong. pages 495, IEEE Computer Society, 1997. [doi]

Authors

Noriki Ogura

This author has not been identified. Look up 'Noriki Ogura' in Google

Keizo Saisho

This author has not been identified. Look up 'Keizo Saisho' in Google

Akira Fukuda

This author has not been identified. Look up 'Akira Fukuda' in Google