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. 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: 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: 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 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,