24. CONCUR 2013: Buenos Aires, Argentina

Session 1: Invited Talks

Session 2: Process Semantics and Modal Transition Systems

Session 3: VAS and Pushdown Systems

Session 4: Pi Calculus and Interaction Nets

Session 5: Linearizability and Verification of Concurrent Programs

Session 6: Verifiation of Infinite Models, Model Measure and Reversibility

Session 7: Stochastic Models

Session 8: Message-Based Interacting Processes

Session 9: Principles of Automatic Verification

Session 10: Games and Control Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier