Goichi ITABASHI


State Machine Specification with Reusability
Goichi ITABASHI Kaoru TAKAHASHI Yasushi KATO Takuo SUGANUMA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2885-2894
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
state machineconstraintinheritancerefinement and expansion algorithm
 Summary | Full Text:PDF(366.7KB)

Specification and Analysis of the Contract Net Protocol Based on State Machine Model
Goichi ITABASHI Yoshiaki HARAMOTO Yasushi KATO Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2447-2452
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
multi-agent systemcontract net protocolformal specificationfinite state model
 Summary | Full Text:PDF(358.5KB)

Specification and Validation of a Dynamically Reconfigurable System
Kaoru TAKAHASHI Toshihiko ANDO Toshihisa KANO Goichi ITABASHI Yasushi KATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 556-565
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
distributed concurrent systemsdynamically reconfigurable systems formal specificationformal validationcommunicating finite state machines simulatorvalidator
 Summary | Full Text:PDF(1003.7KB)