| 書目名稱 | CONCUR 2005 - Concurrency Theory | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 14:34
發(fā)表于 2025-3-21 17:41:15
