Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

CONCUR 2014 – Concurrency Theory

25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Editors: Baldan, Paolo, (Eds.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-662-44584-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-662-44583-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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

Table of contents (39 chapters)

Table of contents (39 chapters)

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-662-44584-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-662-44583-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CONCUR 2014 – Concurrency Theory
Book Subtitle
25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Editors
  • Paolo Baldan
Series Title
Theoretical Computer Science and General Issues
Series Volume
8704
Copyright
2014
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-44584-6
DOI
10.1007/978-3-662-44584-6
Softcover ISBN
978-3-662-44583-9
Edition Number
1
Number of Pages
XXII, 594
Number of Illustrations
90 b/w illustrations
Topics