| Item type |
紀要論文 / Departmental Bulletin Paper(1) |
| 公開日 |
2007-07-02 |
| タイトル |
|
|
タイトル |
Denotational Semantics of a Language for Asynchronously Communicating Processes |
|
言語 |
en |
| 言語 |
|
|
言語 |
eng |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
departmental bulletin paper |
| 著者 |
那須, 隆
大山口, 通夫
太田, 義勝
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
We have designed a programming language for parallel processing which have the following fundamental facilities : parallel execution, asychronously communication with channels, nondeterministic selection, dynamic creation of processes, etc. And we have presented a simple and highly abstract denotational semantics for this language. |
| 書誌情報 |
Research reports of the Faculty of Engineering, Mie University
巻 16,
p. 79-88,
発行日 1991-12-20
|
| ISSN |
|
|
収録物識別子タイプ |
PISSN |
|
収録物識別子 |
0385-6208 |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA00816341 |
| フォーマット |
|
|
内容記述タイプ |
Other |
|
内容記述 |
application/pdf |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| その他のタイトル |
|
|
言語 |
ja |
|
値 |
プロセス間通信に基づく並列処理言語の表示的意味記述について |
| 出版者 |
|
|
出版者 |
Faculty of Engineering, Mie University |
| 資源タイプ（三重大） |
|
|
値 |
Departmental Bulletin Paper / 紀要論文 |
AA008163410160010.PDF (621.6 kB)
