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]
@inproceedings{OguraSF97,
title = {Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System},
author = {Noriki Ogura and Keizo Saisho and Akira Fukuda},
year = {1997},
url = {http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710495abs.htm},
tags = {protocol, design},
researchr = {https://researchr.org/publication/OguraSF97},
cites = {0},
citedby = {0},
pages = {495},
booktitle = {4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong},
publisher = {IEEE Computer Society},
isbn = {0-8186-8271-X},
}