Publisher: Springer; 2004 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 8.5 MB
Downloadable formats: PDF
This quantity comprises the complaints of the fifteenth overseas convention on Concurrency idea (CONCUR 2004) held within the Royal Society, London, united kingdom, from the thirty first August to the third September, 2004. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its purposes. curiosity during this subject is constantly growing to be, by reason of theimportanceandubiquityofconcurrentsystemsandtheirapplications,andof the scienti?c relevance in their foundations. The scope covers all components of sem- tics, logics, and veri?cation options for concurrent platforms. themes contain concurrency-related points of: types of computation, semantic domain names, p- cess algebras, Petri nets, occasion buildings, real-time structures, hybrid platforms, - cidability, model-checking, veri?cation options, re?nement options, time period and graph rewriting, disbursed programming, good judgment constraint programming, object-oriented programming, typing platforms and algorithms, case reviews, instruments and environments for programming and veri?cation. This quantity starts off with 4 invited papers from Sriram Rajamani, Steve Brookes, Bengt Jonsson and Peter O'Hearn. the rest 29 papers have been - lected through this system committee from 134 submissions, a checklist variety of submissions to CONCUR. the normal used to be tremendous excessive and the choice di?cult. each one submission acquired a minimum of 3 stories, reviewed through the p- gram committee contributors or their subreferees. as soon as the preliminary experiences have been on hand, we had sixteen days for paper choice and con?ict solution. we want to thank all contributors of the CONCUR 2004 software Committee for his or her very good paintings in the course of the extensive choice method, including many subreferees who assisted us within the assessment of the submitted papers.