IEICE Trans

Keyword : LOTOS

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

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

Method Integration with Formal Description Techniques Sureerat SAEEIAB Motoshi SAEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/04/25 Vol. E83-D No. 4 ; pp. 616-626 Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering) Category: Theory and Methodology Keyword: method integration, specification and design methods, formal description technique, LOTOS, OMT,
	Summary \| Full Text:PDF

Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS Akira KITAJIMA Keiichi YASUMOTO Teruo HIGASHINO Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/03/25 Vol. E82-A No. 3 ; pp. 487-494 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: LOTOS, synchronous EFSMs, transformation, multi-rendezvous, implementation,
	Summary \| Full Text:PDF

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

A Flexible Verifier of Temporal Properties for LOTOS Kaoru TAKAHASHI Yoshiaki TOKITA Takehisa TANAKA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/01/25 Vol. E79-D No. 1 ; pp. 8-21 Type of Manuscript: PAPER Category: Sofware System Keyword: specification, verification, protocol, LOTOS, software tool,
	Summary \| Full Text:PDF

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

Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems kazuhito OHMAKI Yutaka SATO Ichiro OGATA Kokichi FUTATSUGI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/10/25 Vol. E76-A No. 10 ; pp. 1580-1590 Type of Manuscript: Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design) Category: Keyword: Petri net, process algebra, CCS, LOTOS, user interface management system,
	Summary \| Full Text:PDF

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-B No. 10 ; pp. 1015-1023 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: LOTOS, service definition, protocol specification, simulator, correctness,
	Summary \| Full Text:PDF

An Integrated User-Friendly Specification Environment for LOTOS Norio SHIRATORI Eun-Seok LEE
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-B No. 10 ; pp. 931-941 Type of Manuscript: INVITED PAPER (Special Issue on Communication Software Technologies) Category: Keyword: specification environment, LOTOS, FDT, protocol human interface, software productivity,
	Summary \| Full Text:PDF

Formal Specification and Verification of ISDN Services in LOTOS Keiichirou YAMANO Dusan JOKANOVIC Tsuyoshi ANDO Masataka OHTA Kaoru TAKAHASHI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/08/25 Vol. E75-B No. 8 ; pp. 715-722 Type of Manuscript: Special Section PAPER (Special Issue on the 4th Japan-Korea Joint Conference on Communications, Networks, Switching Systems and Satellite Communications (4th JC-CNSS)) Category: Keyword: LOTOS, specification, verification, switching software,
	Summary \| Full Text:PDF

An Automatic Implementation Method of Protocol Specifications in LOTOS Zixue CHENG Kaoru TAKAHASHI Norio SHIRATORI Shoichi NOGUCHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-D No. 4 ; pp. 543-556 Type of Manuscript: PAPER Category: Computer Networks Keyword: FDT (Formal Description Technique), LOTOS, protocols, automatic implementation, specification translation,
	Summary \| Full Text:PDF

Service Specification and Its Protocol Specifications in LOTOS--A Survey for Synthesis and Execution-- Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/03/25 Vol. E75-A No. 3 ; pp. 330-338 Type of Manuscript: INVITED PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems) Category: Keyword: LOTOS, communication protocols, distributed systems, formal description techniques, synthesis,
	Summary \| Full Text:PDF