関係文字列を用いた協調実行言語の意味論

The purpose of this study is to apply the denotational semantics of the coordination language to the safety analysis of parallel programs. In this paper, the denotational semantics of a simple coordination language is defined by relational strings, which are strings of binary relations, and the conc... View More