Abstract is missing.
- Reasoning with MAD Distributed SystemsLorenzo Alvisi, Edmund L. Wong. 1-4 [doi]
- The Power of Well-Structured SystemsSylvain Schmitz, Philippe Schnoebelen. 5-24 [doi]
- Impact of Resource Sharing on Performance and Performance Prediction: A SurveyAndreas Abel 0002, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn 0001, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm. 25-43 [doi]
- Concurrency Meets Probability: Theory and Practice - (Abstract)Joost-Pieter Katoen. 44-45 [doi]
- Modular Semantics for Transition System Specifications with Negative PremisesMartin Churchill, Peter D. Mosses, Mohammad Reza Mousavi. 46-60 [doi]
- Mutually Testing Processes - (Extended Abstract)Giovanni Bernardi, Matthew Hennessy. 61-75 [doi]
- Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification TheoryNikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay. 76-90 [doi]
- Merging Partial Behaviour Models with Different VocabulariesShoham Ben-David, Marsha Chechik, Sebastián Uchitel. 91-105 [doi]
- Solving Parity Games on Integer VectorsParosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston. 106-120 [doi]
- Well-Structured Pushdown SystemsXiaojuan Cai, Mizuhito Ogawa. 121-136 [doi]
- A Relational Trace Logic for Vector Addition Systems with Application to Context-FreenessJérôme Leroux, M. Praveen, Grégoire Sutre. 137-151 [doi]
- Expand, Enlarge, and Check for Branching Vector Addition SystemsRupak Majumdar, Zilong Wang. 152-166 [doi]
- Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract)Vasileios Koutavas, Matthew Hennessy. 167-181 [doi]
- A Theory of Name BoundednessReiner Hüchting, Rupak Majumdar, Roland Meyer. 182-196 [doi]
- A Hierarchy of Expressiveness in Concurrent Interaction NetsAndrei Dorman, Damiano Mazza. 197-211 [doi]
- An Epistemic Perspective on Consistency of Concurrent ComputationsKlaus von Gleissenthall, Andrey Rybalchenko. 212-226 [doi]
- Characterizing Progress Properties of Concurrent Objects via Contextual RefinementsHongjin Liang, Jan Hoffmann 0002, Xinyu Feng, Zhong Shao. 227-241 [doi]
- Aspect-Oriented Linearizability ProofsThomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis. 242-256 [doi]
- Causality-Based Verification of Multi-threaded ProgramsAndrey Kupriyanov, Bernd Finkbeiner. 257-272 [doi]
- From Model Checking to Model MeasuringThomas A. Henzinger, Jan Otop. 273-287 [doi]
- Safety Verification of Asynchronous Pushdown Systems with Shaped StacksJonathan Kochems, C.-H. Luke Ong. 288-302 [doi]
- Reversibility and Asymmetric Conflict in Event StructuresIain Phillips, Irek Ulidowski. 303-318 [doi]
- The Power of Priority Channel SystemsChristoph Haase, Sylvain Schmitz, Philippe Schnoebelen. 319-333 [doi]
- Reachability Probabilities of Quantum Markov ChainsShenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying. 334-348 [doi]
- Cost Preserving Bisimulations for Probabilistic AutomataHolger Hermanns, Andrea Turrini. 349-363 [doi]
- Compositional Verification and Optimization of Interactive Markov ChainsHolger Hermanns, Jan Krcál, Jan Kretínský. 364-379 [doi]
- Thermodynamic Graph-RewritingVincent Danos, Russ Harmer, Ricardo Honorato-Zimmer. 380-394 [doi]
- Globally Governed Session SemanticsDimitrios Kouzapas, Nobuko Yoshida. 395-409 [doi]
- A General Proof System for Modalities in Concurrent Constraint ProgrammingVivek Nigam, Carlos Olarte, Elaine Pimentel. 410-424 [doi]
- Compositional ChoreographiesFabrizio Montesi, Nobuko Yoshida. 425-439 [doi]
- On Negotiation as Concurrency PrimitiveJavier Esparza, Jörg Desel. 440-454 [doi]
- Satisfiability of CTL* with ConstraintsClaudia Carapelle, Alexander Kartzow, Markus Lohrey. 455-469 [doi]
- Proof Graphs for Parameterised Boolean Equation SystemsSjoerd Cranen, Bas Luttik, Tim A. C. Willemse. 470-484 [doi]
- Generalizing Simulation to Abstract DomainsVijay D'Silva. 485-499 [doi]
- Hyperplane Separation Technique for Multidimensional Mean-Payoff GamesKrishnendu Chatterjee, Yaron Velner. 500-515 [doi]
- Borel Determinacy of Concurrent GamesJulian Gutierrez, Glynn Winskel. 516-530 [doi]
- A Faster Algorithm for Solving One-Clock Priced Timed GamesThomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen. 531-545 [doi]
- Robust Controller Synthesis in Timed AutomataOcan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier. 546-560 [doi]