Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A
No. 11 ;
pp. 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, |