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-ANo. 11pp. 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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/10/01 Vol. E87-DNo. 10pp. 2306-2317 Type of Manuscript: PAPER Category: Networks Keyword: LOTOS, LTS, weak bisimulation, asynchronous model,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/11/01 Vol. E85-ANo. 11pp. 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,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/11/25 Vol. E82-ANo. 11pp. 2546-2557 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: protocol, service, FDT, composition, alternative, sequential, interrupt, parallel,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-ANo. 4pp. 586-595 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: protocol, multiphase, multifunction, disabling function, FDT, LOTOS,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1646-1655 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol, protocol synthesis, deadlock, FDT, LOTOS,