Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Theoretical Computer Science and General Issues

CONCUR 2012- Concurrency Theory

23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings

Editors: Koutny, Maciej, Ulidowski, Irek (Eds.)

  • Up to date results
  • State of the art research
  • Fast track conference proceedings
see more benefits

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-642-32940-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-642-32939-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.

Table of contents (40 chapters)

  • Turing Meets Milner

    Baeten, Jos C. M. (et al.)

    Pages 1-20

  • Concurrency and the Algebraic Theory of Effects

    Plotkin, Gordon D.

    Pages 21-22

  • A Turing Enigma

    Randell, Brian

    Pages 23-36

  • False Concurrency and Strange-but-True Machines

    Sewell, Peter

    Pages 37-38

  • Concurrent Games on VASS with Inhibition

    Bérard, Béatrice (et al.)

    Pages 39-52

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-642-32940-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-642-32939-5
  • 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 2012- Concurrency Theory
Book Subtitle
23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
Editors
  • Maciej Koutny
  • Irek Ulidowski
Series Title
Theoretical Computer Science and General Issues
Series Volume
7454
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-32940-1
DOI
10.1007/978-3-642-32940-1
Softcover ISBN
978-3-642-32939-5
Edition Number
1
Number of Pages
XIV, 582
Number of Illustrations and Tables
84 b/w illustrations
Topics