Skip to main content
  • Conference proceedings
  • © 1999

CONCUR'99. Concurrency Theory

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1664)

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (38 papers)

  1. Front Matter

    Pages I-XI
  2. Tutorials

  3. Accepted Papers

    1. Automating Modular Verification

      • Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
      Pages 82-97
    2. “Next” Heuristic for On-the-Fly Model Checking

      • Rajeev Alur, Bow-Yaw Wang
      Pages 98-113
    3. Model Checking of Message Sequence Charts

      • Rajeev Alur, Mihalis Yannakakis
      Pages 114-129
    4. Approximative Symbolic Model Checking of Continuous-Time Markov Chains

      • Christel Baier, Joost-Pieter Katoen, Holger Hermanns
      Pages 146-161
    5. From Synchrony to Asynchrony

      • Albert Benveniste, Benoît Caillaud, Paul Le Guernic
      Pages 162-177
    6. Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic

      • Béatrice Bérard, Laurent Fribourg
      Pages 178-193
    7. Weak and Strong Composition of High-Level Petri Nets

      • Eike Best, Alexander Lavrov
      Pages 194-209
    8. Model Checking of Time Petri Nets Based on Partial Order Semantics

      • Burkhard Bieber, Hans Fleischhack
      Pages 210-225
    9. Generic Process Algebras for Asynchronous Communication

      • F. S. de Boer, G. Zavattaro
      Pages 226-241
    10. Timed Automata and the Theory of Real Numbers

      • Hubert Comon, Yan Jurski
      Pages 242-257
    11. Metrics for Labeled Markov Systems

      • Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
      Pages 258-273

Editors and Affiliations

  • Department of Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    Jos C. M. Baeten, Sjouke Mauw

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access