Lecture Notes in Computer Science

CONCUR'99. Concurrency Theory

10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings

Editors: Baeten, Jos C.M., Mauw, Sjouke (Eds.)

Buy this book

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

Table of contents (7 chapters)

  • An Unfolding Algorithm for Synchronous Products of Transition Systems

    Javier Esparza, Stefan Römer

    Pages 2-20

  • Testing Concurrent Systems: A Formal Approach

    Jan Tretmans

    Pages 46-65

  • Approximative Symbolic Model Checking of Continuous-Time Markov Chains

    Christel Baier, Joost-Pieter Katoen, Holger Hermanns

    Pages 146-161

  • From Synchrony to Asynchrony

    Albert Benveniste, Benoît Caillaud, Paul Le Guernic

    Pages 162-177

  • Timed Automata and the Theory of Real Numbers

    Hubert Comon, Yan Jurski

    Pages 242-257

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-48320-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-66425-3
  • 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'99. Concurrency Theory
Book Subtitle
10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Editors
  • Jos C.M. Baeten
  • Sjouke Mauw
Series Title
Lecture Notes in Computer Science
Series Volume
1664
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48320-5
DOI
10.1007/3-540-48320-9
Softcover ISBN
978-3-540-66425-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 584
Topics