Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/01/01 Vol. E94-DNo. 1pp. 91-103 Type of Manuscript: PAPER Category: Information Network Keyword: MANET, service replication, service availability, energy consumption,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/03/25 Vol. E82-ANo. 3pp. 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,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-BNo. 10pp. 1015-1023 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: LOTOS, service definition, protocol specification, simulator, correctness,