WEKO3
アイテム
A Timed Extension of the pi-Calculus and Application for Real-Time System Development
http://hdl.handle.net/2237/10403
http://hdl.handle.net/2237/1040371811fef-a273-41ba-b28b-636876466cb4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
p115_Kuwabara_Hiroaki.pdf (2.2 MB)
|
|
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-08-19 | |||||
| タイトル | ||||||
| タイトル | A Timed Extension of the pi-Calculus and Application for Real-Time System Development | |||||
| 言語 | en | |||||
| 著者 |
KUWABARA, Hiroaki
× KUWABARA, Hiroaki |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 出版者 | ||||||
| 出版者 | INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_5794 | |||||
| タイプ | conference paper | |||||
| 書誌情報 |
en : Third Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 6, 2005 p. 115-115, 発行日 2005-12 |
|||||
| フォーマット | ||||||
| 値 | application/pdf | |||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/10403 | |||||
| 識別子タイプ | HDL | |||||
