CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. ProceedingsAuthor: Roberto Amadio, Denis Lugiez Published by Springer Berlin Heidelberg ISBN: 978-3-540-40753-9 DOI: 10.1007/b11938Table of Contents:Distributed Monitoring of Concurrent and Asynchronous Systems Synthesis of Distributed Algorithms Using Asynchronous Automata Compression of Partially Ordered Strings Bundle Event Structures and CCSP Syntactic Formats for Free Priority Rewrite Systems for OSOS Process Languages Quantitative Verification and Control via the Mu-Calculus Playing Games with Boxes and Diamonds The Element of Surprise in Timed Games Deciding Bisimilarity between BPA and BPP Processes Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,... A Process-Algebraic Language for Probabilistic I/O Automata Compositionality for Probabilistic Automata Satisfiability and Model Checking for MSO-Definable Temporal Logics Are in PSPACE Equivalence Checking of Non-flat Systems Is EXPTIME-Hard Model Checking a Path Multi-valued Model Checking via Classical Model Checking An Extension of Pushdown System and Its Model Checking Method Netcharts: Bridging the Gap between HMSCs and Executable Specifications