2007年
Type-based analysis of deadlock for a concurrent calculus with interrupts
ESOP'07: Proceedings of the 16th European Symposium on Programming
- ,
- 巻
- 4421
- 号
- 開始ページ
- 490
- 終了ページ
- +
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-540-71316-6_33
- リンク情報
-
- DOI
- https://doi.org/10.1007/978-3-540-71316-6_33
- DBLP
- https://dblp.uni-trier.de/rec/conf/esop/SuenagaK07
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000245948400032&DestApp=WOS_CPL
- URL
- http://dblp.uni-trier.de/db/conf/esop/esop2007.html#conf/esop/SuenagaK07
- ID情報
-
- DOI : 10.1007/978-3-540-71316-6_33
- ISSN : 0302-9743
- ISBN : 9783540713142
- DBLP ID : conf/esop/SuenagaK07
- Web of Science ID : WOS:000245948400032