تفاصيل الكتاب

978-3-540-31934-4

CONCUR 2005 - Concurrency Theory

Publication Date: 2005

ISBN: 978-3-540-31934-4

Internet Resource: Please Login to download book


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. 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.


Subject: Computer Science, algorithm, algorithms, concurrency, distributed programming, logic, logic programming, model checking, petri net, programming, real-time, semantics, verification