|
![]() |
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games. Full Product DetailsAuthor: Paolo Baldan , University of Roma ""La Sapienza"" , University of Roma La SapienzaPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2014 ed. Volume: 8704 Dimensions: Width: 15.50cm , Height: 3.20cm , Length: 23.50cm Weight: 9.183kg ISBN: 9783662445839ISBN 10: 3662445832 Pages: 594 Publication Date: 06 August 2014 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |