CONCOUR9̉9, concurrency theory : 10th international conference , Eindhoven, The Netherlands, August 24 – 27, 1999 , proceedings

CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings
Author: Jos C. M. Baeten, Sjouke Mauw
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66425-3
DOI: 10.1007/3-540-48320-9

Table of Contents:

• Temporal Process Logic
• An Unfolding Algorithm for Synchronous Products of Transition Systems
• Petri Nets, Configuration Structures and Higher Dimensional Automata
• Expressiveness and Distributed Implementation of Concurrent Calculi with Link Mobility
• Techniques for Decidability and Undecidability of Bisimilarity
• Testing Concurrent Systems: A Formal Approach
• Computing Minimum and Maximum Reachability Times in Probabilistic Systems
• Automating Modular Verification
• “Next” Heuristic for On-the-Fly Model Checking
• Model Checking of Message Sequence Charts
• Synthesis of Large Concurrent Programs via Pairwise Composition
• Approximative Symbolic Model Checking of Continuous-Time Markov Chains
• From Synchrony to Asynchrony
• Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
• Weak and Strong Composition of High-Level Petri Nets
• Model Checking of Time Petri Nets Based on Partial Order Semantics
• Generic Process Algebras for Asynchronous Communication
• Timed Automata and the Theory of Real Numbers
• Metrics for Labeled Markov Systems
• The Expressive Power of Temporal Logic of Actions

Literaturangaben