Hirozumi YAMAGUCHI


Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model
Hirozumi YAMAGUCHI Kozo OKANO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10  pp. 1623-1633
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Petri netmarked graphprotocol synthesisparallel events
 Summary | Full Text:PDF(954.1KB)