A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Transforming sequential systems into concurrent systems
1985
Theoretical Computer Science
A problem of concurrent system specification is studied. A functionally equivalent system is first specified, then a set of independent actions or abstract resources is devised, and, finally, this sequential system is transformed into an equivalent concurrent system. The method is based on the theory of path expressions. The notion of functional equivalence is formally defined and studied. Necessary and sufficient conditions, stating when the method can be used, are formulated and proved. Some
doi:10.1016/0304-3975(85)90029-5
fatcat:xalh5r57afd4zbx4n7shi4opbu