WEKO3
アイテム
A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE
http://hdl.handle.net/2237/10413
http://hdl.handle.net/2237/104132e45f7bb-07ff-408f-867c-89ed8eafe7dd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
p153-160_A_formal_approach_to_reliablie_network_software.pdf (565.2 kB)
|
|
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-08-20 | |||||
| タイトル | ||||||
| タイトル | A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE | |||||
| 言語 | en | |||||
| 著者 |
Yuen, Shoji
× Yuen, Shoji× Imai, Keigo× Suetsugu, Ryo× Agusa, Kiyoshi |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | We have been investigating communicating processes, where the primitive computation is synchronous communication between processes. A process is a "black box" to be identified only by observing communications with the environment. Various behavioral characterizations of communicating processes have been studied over the last couple of decades. The model is good for realizing concurrent behavior of network software. We realize the behavior of concurrent software based on equivalences as the fundamental semantics of programming languages with concurrent features. During the period of the COE project, we have investigated the following topics with the aime of improving the reliability of network software. (1)A meta algebraic framework defined by SOS(Structural Operational Semantics) for timed process calculi; (2)Web application modeling; (3)user interface behavioral modeling; (4)timed extension of a mobile calculus; (5)a network framework for functional programming language Haskell; and (6)behavioral modeling for embedded systems. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 書誌情報 |
en : 4th Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 7-8, 2006 p. 153-160, 発行日 2006-12 |
|||||
| フォーマット | ||||||
| 値 | application/pdf | |||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/10413 | |||||
| 識別子タイプ | HDL | |||||
