Kenichi TANIGUCHI


Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS
Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/03/25
Vol. E82-A  No. 3  pp. 487-494
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
LOTOSsynchronous EFSMstransformationmulti-rendezvousimplementation
 Summary | Full Text:PDF

A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit
Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 566-575
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
communication protocolsmulti-rendezvousconcurrent EFSMscontroller synthesissynchronous sequential circuits
 Summary | Full Text:PDF

Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation Equivalence
Akio NAKATA Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/02/25
Vol. E80-A  No. 2  pp. 400-406
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
timed bisimulation equivalenceverificationsymbolic bisimulationA-TSLTSmost general boolean
 Summary | Full Text:PDF

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

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10  pp. 1015-1023
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
LOTOSservice definitionprotocol specificationsimulatorcorrectness
 Summary | Full Text:PDF

Some NP-Complete Problems for Bounded Petri Nets
Toshiro ARAKI Kenichi TANIGUCHI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1976/07/25
Vol. E59-E  No. 7  pp. 7-8
Type of Manuscript:  LETTER
Category: Computers
Keyword: 
 Summary | Full Text:PDF