@techreport{R-87-19, TITLE = {Construction of Asynchronous Concurrent Systems from their Behavioral Specifications}, AUTHOR = {Zebo Peng}, YEAR = {1987}, NUMBER = {R-87-19}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-87-19+abstr}, 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.}, IDANR = {LiTH-IDA-R-87-19}, NOTE = {Also in Proc. of the 10th World Computer Congress, Dublin, Ireland, Sept. 1-5, 1986}