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,