Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Akira Fukuda and N. Ogura and K. Saisho,Design of protocols in Timed CSP for highly reliable and available client-server system,Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference,,IEEE Comput. Soc,2002-11-23,,,495-502,https://cir.nii.ac.jp/crid/1870302167655767168,https://doi.org/10.1109/apsec.1997.640206