IEICE Trans

Yasushi KATO

Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic Seri ASAVARUK Suvepon SITTICHIVAPAK Ruttikorn VARAKULSIRIPUNTH Yasushi KATO Norio SHIRATORI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2005/06/01 Vol. E88-B No. 6 pp. 2578-2587 Type of Manuscript: PAPER Category: Satellite Communication Keyword: Slotted DS-CDMA, collision-resolved queue, system throughput, message delay,
	Summary \| Full Text:PDF(1.1MB)

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 machine, constraint, inheritance, refinement and expansion algorithm,
	Summary \| Full Text:PDF(366.7KB)

Composition of Service and Protocol Specifications in Asynchronous Communication System Noppadol MANEERAT Ruttikorn VARAKULSIRIPUNTH Bhed Bahadur BISTA Kaoru TAKAHASHI Yasushi KATO Norio SHIRATORI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/10/01 Vol. E87-D No. 10 pp. 2306-2317 Type of Manuscript: PAPER Category: Networks Keyword: LOTOS, LTS, weak bisimulation, asynchronous model,
	Summary \| Full Text:PDF(702KB)

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 system, contract net protocol, formal specification, finite 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 systems, dynamically reconfigurable systems, formal specification, formal validation, communicating finite state machines, simulator, validator,
	Summary \| Full Text:PDF(1003.7KB)

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, π-calculus, location, field, location bisimulation, location erased bisimulation,
	Summary \| Full Text:PDF(742KB)

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 specification, concurrent system, topology, abstract level of description technique, temporal 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 specification, formal specification technique,
	Summary \| Full Text:PDF(1009.8KB)