Access count of this item: 78

Files in This Item:
File Description SizeFormat 
0655-6.pdf1.6 MBAdobe PDFView/Open
Title: An Algebraic Method For Verifying Progress Property of Communication Protocolos
Authors: HIGASHINO, Teruo
TANIGUCHI, Kenichi
KASAMI, Tadao
FUJII, Mamoru
MORI, Masaaki
Author's alias: 東野, 輝夫
谷口, 健一
嵩, 忠雄
藤井, 護
森, 将豪
Issue Date: Apr-1988
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 655
Start page: 84
End page: 103
URI: http://hdl.handle.net/2433/100512
Appears in Collections:Mathematical Methods in Software Science and Engineering

Show full item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.