Keyword : LTS

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)
Reuse Based Specification Support Method Using Mathematical Similarity
Ushio YAMAMOTO Eun-Seok LEE Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1752-1759
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
FDT, LTS, similarity, specification reuse, 
 Summary | Full Text:PDF(710.2KB)
A Support Method for Specification Process Based on LTSs
Ushio YAMAMOTO Atsushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1656-1662
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
FDT, LTS, similarity, specification reuse, specification support, 
 Summary | Full Text:PDF(535.5KB)
An Effective Application of Net-Theory to Communication Protocol Development
Norio SHIRATORI Eun-Seok LEE Ken TERUYA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1588-1593
Type of Manuscript:  INVITED PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Net-theory, protocol life cycle, FDT, LTS, protocol, FSM, CCS, 
 Summary | Full Text:PDF(592.9KB)