Keyword : stepwise specification

A Topological Framework of Stepwise Specification for Concurrent Systems
Toshihiko ANDO Kaoru TAKAHASHI Yasushi KATO 
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)
stepwise specificationconcurrent systemtopologyabstract level of description techniquetemporal logic
 Summary | Full Text:PDF(571.1KB)