| 书目名称 | CONCUR 2005 - Concurrency Theory | | 副标题 | 16th International C | | 编辑 | Martín Abadi,Luca Alfaro | | 视频video | http://file.papertrans.cn/221/220449/220449.mp4 | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year’s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publicat | | 出版日期 | Conference proceedings 2005 | | 关键词 | algorithm; algorithms; concurrency; distributed programming; logic; logic programming; model checking; petr | | 版次 | 1 | | doi | https://doi.org/10.1007/11539452 | | isbn_softcover | 978-3-540-28309-6 | | isbn_ebook | 978-3-540-31934-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2005 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-7-14 10:17
发表于 2025-3-21 17:41:15
