Abstract is missing.
- Beyond Nash Equilibrium: Solution Concepts for the 21st CenturyJoseph Y. Halpern. 1 [doi]
- Service Choreography and Orchestration with ConversationsTevfik Bultan. 2-3 [doi]
- Knowledge and Information in Probabilistic SystemsPrakash Panangaden. 4 [doi]
- Taming Concurrency: A Program Verification PerspectiveShaz Qadeer. 5 [doi]
- A Model of Dynamic Separation for Transactional MemoryMartín Abadi, Tim Harris, Katherine F. Moore. 6-20 [doi]
- Completeness and Nondeterminism in Model Checking Transactional MemoriesRachid Guerraoui, Thomas A. Henzinger, Vasu Singh. 21-35 [doi]
- Semantics of Deterministic Shared-Memory SystemsRémi Morin. 36-51 [doi]
- A Scalable and Oblivious Atomicity AssertionRachid Guerraoui, Marko Vukolic. 52-66 [doi]
- R-AutomataParosh Aziz Abdulla, Pavel Krcál, Wang Yi. 67-81 [doi]
- Distributed Timed Automata with Independently Evolving ClocksS. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar. 82-97 [doi]
- A Context-Free Process as a Pushdown AutomatonJos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg. 98-113 [doi]
- Modeling Computational Security in Long-Lived SystemsRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira. 114-130 [doi]
- Contract-Directed Synthesis of Simple OrchestratorsLuca Padovani. 131-146 [doi]
- Environment Assumptions for SynthesisKrishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann. 147-161 [doi]
- Smyle: A Tool for Synthesizing Distributed Models from Scenarios by LearningBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. 162-166 [doi]
- SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant ProgramsBorzoo Bonakdarpour, Sandeep S. Kulkarni. 167-171 [doi]
- Subsequence InvariantsKlaus Dräger, Bernd Finkbeiner. 172-186 [doi]
- Invariants for Parameterised Boolean Equation SystemsSimona Orzan, Tim A. C. Willemse. 187-202 [doi]
- Unfolding-Based Diagnosis of Systems with an Evolving TopologyPaolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. 203-217 [doi]
- On the Construction of Sorted Reactive SystemsLars Birkedal, Søren Debois, Thomas T. Hildebrandt. 218-232 [doi]
- Dynamic Partial Order Reduction Using Probe SetsHarmen Kastenberg, Arend Rensink. 233-247 [doi]
- A Space-Efficient Probabilistic Simulation AlgorithmLijun Zhang. 248-263 [doi]
- Least Upper Bounds for Probability Measures and Their Applications to AbstractionsRohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan. 264-278 [doi]
- Abstraction for Stochastic Systems by Erlang s Method of StagesJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. 279-294 [doi]
- On the Minimisation of Acyclic ModelsPepijn Crouzen, Holger Hermanns, Lijun Zhang. 295-309 [doi]
- Quasi-Static Scheduling of Communicating TasksPhilippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang. 310-324 [doi]
- Strategy Construction for Parity Games with Imperfect InformationDietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje. 325-339 [doi]
- Mixing Lossy and Perfect Fifo ChannelsPierre Chambart, Ph. Schnoebelen. 340-355 [doi]
- On the Reachability Analysis of Acyclic Networks of Pushdown SystemsMohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili. 356-371 [doi]
- Spatial and Behavioral Types in the Pi-CalculusLucia Acciai, Michele Boreale. 372-386 [doi]
- A Spatial Equational Logic for the Applied pi-CalculusÉtienne Lozes, Jules Villard. 387-401 [doi]
- Structured Interactional Exceptions in Session TypesMarco Carbone, Kohei Honda, Nobuko Yoshida. 402-417 [doi]
- Global Progress in Dynamically Interleaved Multiparty SessionsLorenzo Bettini, Mario Coppo, Loris D Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. 418-433 [doi]
- Normed BPA vs. Normed BPP RevisitedPetr Jancar, Martin Kot, Zdenek Sawa. 434-446 [doi]
- A Rule Format for AssociativitySjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers. 447-461 [doi]
- Deriving Structural Labelled Transitions for Mobile AmbientsJulian Rathke, Pawel Sobocinski. 462-476 [doi]
- Termination Problems in Chemical KineticsGianluigi Zavattaro, Luca Cardelli. 477-491 [doi]
- Towards a Unified Approach to Encodability and Separation Results for Process CalculiDaniele Gorla. 492-507 [doi]
- A Notion of Glue Expressiveness for Component-Based SystemsSimon Bliudze, Joseph Sifakis. 508-522 [doi]