Lecture Notes in Computer Science

CONCUR 2004 -- Concurrency Theory

15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

Editors: Gardner, Philippa, Yoshida, Nobuko (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-28644-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-22940-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (33 chapters)

  • Zing: Exploiting Program Structure for Model Checking Concurrent Software

    Andrews, Tony (et al.)

    Pages 1-15

  • A Semantics for Concurrent Separation Logic

    Brookes, Stephen

    Pages 16-34

  • A Survey of Regular Model Checking

    Abdulla, Parosh Aziz (et al.)

    Pages 35-48

  • Resources, Concurrency and Local Reasoning

    O’Hearn, Peter W.

    Pages 49-67

  • Resource Control for Synchronous Cooperative Threads

    Amadio, Roberto M. (et al.)

    Pages 68-82

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-28644-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-22940-7
  • 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 2004 -- Concurrency Theory
Book Subtitle
15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
Editors
  • Philippa Gardner
  • Nobuko Yoshida
Series Title
Lecture Notes in Computer Science
Series Volume
3170
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-28644-8
DOI
10.1007/b100113
Softcover ISBN
978-3-540-22940-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 534
Topics