Masaki ITOH


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

A Process Algebra Featuring Action Refinement
Masaki ITOH 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/11/25
Vol. E73-E  No. 11  pp. 1880-1885
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF

Protocol-Oriented Service Specifications and Their Transformation into CCITT Specification and Description Language
Haruhisa ICHIKAWA Masaki ITOH Masashi SHIBASAKI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/04/25
Vol. E69-E  No. 4  pp. 524-535
Type of Manuscript:  PAPER
Category: Switching Systems and Communication Processing
Keyword: 
 Summary | Full Text:PDF

Protocol Verification Algorithm Using Reduced Reachability Analysis
Masaki ITOH Haruhisa ICHIKAWA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1983/02/25
Vol. E66-E  No. 2  pp. 88-93
Type of Manuscript:  PAPER
Category: Protocol
Keyword: 
 Summary | Full Text:PDF

Specification Description and Synthesis of Communication Control System
Haruhisa ICHIKAWA Masaki ITOH Yasuyuki YOSHIDA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1982/06/25
Vol. E65-E  No. 6  pp. 361-362
Type of Manuscript:  LETTER
Category: Automata and Languages
Keyword: 
 Summary | Full Text:PDF

MCNET-Multiple Communication Bus Network
Chiaki HISHINUMA Masaichi KAJIWARA Masaki ITOH 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1981/06/25
Vol. E64-E  No. 6  pp. 431-432
Type of Manuscript:  LETTER
Category: Switching Systems
Keyword: 
 Summary | Full Text:PDF