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

CONCUR 2011 -- Concurrency Theory

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Editors: Katoen, Joost-Pieter, König, Barbara (Eds.)

Free Preview
  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-23217-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-23216-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Table of contents (36 chapters)

Table of contents (36 chapters)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-23217-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-23216-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CONCUR 2011 -- Concurrency Theory
Book Subtitle
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
Editors
  • Joost-Pieter Katoen
  • Barbara König
Series Title
Theoretical Computer Science and General Issues
Series Volume
6901
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-23217-6
DOI
10.1007/978-3-642-23217-6
Softcover ISBN
978-3-642-23216-9
Edition Number
1
Number of Pages
XIV, 560
Number of Illustrations
104 b/w illustrations, 17 illustrations in colour
Topics