June KATO


Deriving Protocols from Message Sequence Charts in a Communicating Processes Model
Kenjiroh YAMANAKA Seiichi KOMURA June KATO Haruhisa ICHIKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/11/25
Vol. E79-D  No. 11  pp. 1533-1544
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
computer networkssoftware theory
 Summary | Full Text:PDF(842.3KB)

Optimization of Concurrent Process Program Specification
June KATO Masaki ITOH Haruhisa ICHIKAWA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/12/25
Vol. E73-E  No. 12  pp. 1994-2000
Type of Manuscript:  Special Section PAPER (Special Issue on the 3rd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Petri Nets
Keyword: 
 Summary | Full Text:PDF(512.9KB)