2011年
From Applicative to Environmental Bisimulation
HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98), Electr. Notes Theor. Comput. Sci.
- ,
- ,
- 巻
- 276
- 号
- 開始ページ
- 215
- 終了ページ
- 235
- 記述言語
- 英語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- DOI
- 10.1016/j.entcs.2011.09.023
- ID情報
-
- DOI : 10.1016/j.entcs.2011.09.023