Peng, Z. (1987). Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. Technical Report LiTH-IDA-R-87-19, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 10th World Computer Congress, Dublin, Ireland, Sept. 1-5, 1986. (bibtex),
Abstract: This paper describes a systematic method to construct asynchronous concurrent systems from their high level behavioral specifications. A high level behavioral specification specifies what a system should be able to do without prescribing the physical structure of the implementation. This specification is first mapped into an intermediate design representation which consists of separate but related models of control and data part. The intermediate representation is then analyzed, transformed, and finally partitioned into a set of processing modules whose actions are coordinated to implement the specified behaviors of the designed system.
CS Dept TR Overview