 
|
|
|
タケヤマ マコト
Takeyama Makoto 武山 誠 所属 神奈川大学 理学部 情報科学科 神奈川大学大学院 理学研究科 理学専攻（情報科学領域） 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 1997 |
| 形態種別 | その他論文 |
| 標題 | Syntactic Control of Interference Revisited (book chapter version) |
| 執筆形態 | 共著 |
| 掲載誌名 | Algol-like Languages,vol 2,Progress in Theoretical Computer science |
| 掲載区分 | 国外 |
| 出版社・発行元 | Birkhauser |
| 巻・号・頁 | 2,189-225頁 |
| 著者・共著者 | Peter W.O'Hearn, A.John Power, Makoto Takeyama, Robert D.Tennent |
| 概要 | A reprinted book chapter version of Peter W. O'Hearn, A. John Power, Makoto Takeyama, Robert D. Tennent, Syntactic Control of Interference Revisited, Eleventh Annual Conference on Mathematical Foundations of Progamming Semantics (MFPS XI), Electronic Notes in Theoretical Computer Sicnece, vol 1, pp 447-486, 1995 |
Copyright © Kanagawa University. All Rights Reserved.