Toshihiko ANDO


A Concurrent Calculus with Geographical Constraints
Toshihiko ANDO Kaoru TAKAHASHI Yasushi KATO Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 547-555
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
mobile communicationπ-calculuslocationfieldlocation bisimulationlocation erased bisimulation
 Summary | Full Text:PDF(742KB)

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)

A Topological Framework of Stepwise Specification for Concurrent Systems
Toshihiko ANDO Kaoru TAKAHASHI Yasushi KATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11  pp. 1760-1767
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
stepwise specificationconcurrent systemtopologyabstract level of description techniquetemporal logic
 Summary | Full Text:PDF(571.1KB)

On Specifying Protocols Based on LOTOS and Temporal Logic
Toshihiko ANDO Yasushi KATO Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1994/08/25
Vol. E77-B  No. 8  pp. 992-1006
Type of Manuscript:  PAPER
Category: Signaling System and Communication Protocol
Keyword: 
protocol specificationformal specification technique
 Summary | Full Text:PDF(1009.8KB)