Bhed Bahadur BISTA

On Optimization in Composition of Concurrent Formal Specifications
Bhed Bahadur BISTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2905-2908
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems and Hybrid Systems)
Category: 
Keyword: 
formal specification, FDT, LOTOS, combining processes, intermediate processes, 
 Summary | Full Text:PDF(168.4KB)
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)
On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions
Bhed Bahadur BISTA 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. 2426-2435
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
service, protocol, FDT, alternative composition, parallel composition, 
 Summary | Full Text:PDF(806.7KB)
A Compositional Approach for Constructing Communication Services and Protocols
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/11/25
Vol. E82-A  No. 11  pp. 2546-2557
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
protocol, service, FDT, composition, alternative, sequential, interrupt, parallel, 
 Summary | Full Text:PDF(605.6KB)
Composition of Protocol Functions
Bhed Bahadur BISTA Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 586-595
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
protocol, multiphase, multifunction, disabling function, FDT, LOTOS, 
 Summary | Full Text:PDF(914.6KB)
Making Changes in Formal Protcol Specifications
Bhed Bahadur BISTA Kaoru TAKAHASHI Tetsuo KINOSHITA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/06/25
Vol. E80-B  No. 6  pp. 974-978
Type of Manuscript:  LETTER
Category: Communication Software
Keyword: 
communication, protocol, flexible synthesis, requirement change, 
 Summary | Full Text:PDF(400.9KB)
A New Approach for Protocol Synthesis Based on LOTOS
Bhed Bahadur BISTA Zixue CHENG 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. 1646-1655
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
protocol, protocol synthesis, deadlock, FDT, LOTOS, 
 Summary | Full Text:PDF(828.4KB)