ENGLISH

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

By Luca de Alfaro (eds.) , Martín Abadi , Dawson Engler (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540283099, 9783540283096
DOI
10.1007/11539452
LCC
QA76.58 .I53 2005
Open Library ID
OL3480680M
Language
english
Format
PDF
Filesize
5 MB (5071755 bytes)
Series
Lecture Notes in Computer Science 3653 : Theoretical Computer Science and General Issues
Edition
1
Pages
1280\590
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
CompilersInterpreters; Programming Techniques; Computer ComLogics and Meanings of Programs; Computation by Ab

Description

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

Similar books