Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/05/01 Vol. E94-DNo. 5pp. 989-999 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Software Development Methodology Keyword: Web application, modeling, testing, automata, model checking, Spin,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/11/01 Vol. E87-ANo. 11pp. 2885-2894 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems) Category: Concurrent Systems Keyword: state machine, constraint, inheritance, refinement and expansion algorithm,
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: 2002/11/01 Vol. E85-ANo. 11pp. 2447-2452 Type of Manuscript: Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems) Category: Keyword: multi-agent system, contract net protocol, formal specification, finite state model,
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. 547-555 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: mobile communication, π-calculus, location, field, location bisimulation, location erased bisimulation,
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: 1996/11/25 Vol. E79-ANo. 11pp. 1760-1767 Type of Manuscript: Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications) Category: Keyword: stepwise specification, concurrent system, topology, abstract level of description technique, temporal logic,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/01/25 Vol. E79-DNo. 1pp. 8-21 Type of Manuscript: PAPER Category: Sofware System Keyword: specification, verification, protocol, LOTOS, software tool,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1994/08/25 Vol. E77-BNo. 8pp. 992-1006 Type of Manuscript: PAPER Category: Signaling System and Communication Protocol Keyword: protocol specification, formal specification technique,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/08/25 Vol. E75-BNo. 8pp. 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,