関係文字列を用いた協調実行言語の意味論
| Jazyk: | japonština |
|---|---|
| Rok vydání: | 2001 |
| Předmět: | |
| Zdroj: | 九州大学大学院システム情報科学紀要. 6(1):47-51 |
| ISSN: | 1342-3819 |
| Popis: | 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 concatenation of relational strings is a timed-composition of binary relations. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|