Abstract is missing.
- Dating Concurrent Objects: Real-Time Modeling and Schedulability AnalysisFrank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen. 1-18 [doi]
- Applications of Shellable Complexes to Distributed Computing - (Invited Talk)Maurice Herlihy. 19-20 [doi]
- Concurrency and Composition in a Stochastic WorldChristian Eisentraut, Holger Hermanns, Lijun Zhang. 21-39 [doi]
- Taming Distributed Asynchronous SystemsAnca Muscholl. 40-47 [doi]
- Trust in Anonymity NetworksVladimiro Sassone, Sardaouna Hamadou, Mu Yang. 48-70 [doi]
- Learning I/O AutomataFides Aarts, Frits W. Vaandrager. 71-85 [doi]
- Constrained Monotonic Abstraction: A CEGAR for Parameterized VerificationParosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine. 86-101 [doi]
- Information Flow in Interactive SystemsMário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. 102-116 [doi]
- From Multi to Single Stack AutomataMohamed Faouzi Atig. 117-131 [doi]
- A Geometric Approach to the Problem of Unique Decomposition of ProcessesThibaut Balabonski, Emmanuel Haucourt. 132-146 [doi]
- A Logic for True ConcurrencyPaolo Baldan, Silvia Crafa. 147-161 [doi]
- A Theory of Design-by-Contract for Distributed Multiparty InteractionsLaura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida. 162-176 [doi]
- Bisimilarity of One-Counter Processes Is PSPACE-CompleteStanislav Böhm, Stefan Göller, Petr Jancar. 177-191 [doi]
- Nash Equilibria for Reachability Objectives in Multi-player Timed GamesPatricia Bouyer, Romain Brenguier, Nicolas Markey. 192-206 [doi]
- Stochastic Real-Time Games with Qualitative Timed Automata ObjectivesTomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák. 207-221 [doi]
- Session Types as Intuitionistic Linear PropositionsLuís Caires, Frank Pfenning. 222-236 [doi]
- Session Types for Access and Information Flow ControlSara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk. 237-252 [doi]
- Simulation DistancesPavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna. 253-268 [doi]
- Mean-Payoff Automaton ExpressionsKrishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou. 269-283 [doi]
- Obliging GamesKrishnendu Chatterjee, Florian Horn, Christof Löding. 284-296 [doi]
- Multipebble Simulations for Alternating Automata - (Extended Abstract)Lorenzo Clemente, Richard Mayr. 297-312 [doi]
- Parameterized Verification of Ad Hoc NetworksGiorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro. 313-327 [doi]
- Termination in Impure Concurrent LanguagesRomain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. 328-342 [doi]
- Buffered Communication Analysis in Distributed Multiparty SessionsPierre-Malo Deniélou, Nobuko Yoshida. 343-357 [doi]
- Efficient Bisimilarities from Second-Order Reaction Semantics for ::::pi::::-CalculusPietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa. 358-372 [doi]
- On the Use of Non-deterministic Automata for Presburger ArithmeticAntoine Durand-Gasselin, Peter Habermehl. 373-387 [doi]
- Reasoning about Optimistic Concurrency Using a Program Logic for HistoryMing Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang. 388-402 [doi]
- Theory by ProcessYuxi Fu. 403-416 [doi]
- On the Compositionality of Round AbstractionDan R. Ghica, Mohamed N. Menaa. 417-431 [doi]
- A Linear Account of Session Types in the Pi CalculusMarco Giunti, Vasco T. Vasconcelos. 432-446 [doi]
- Generic Forward and Backward Simulations II: Probabilistic SimulationIchiro Hasuo. 447-461 [doi]
- Kleene, Rabin, and Scott Are AvailableJochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog. 462-477 [doi]
- Reversing Higher-Order PiIvan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. 478-493 [doi]
- Modal Logic over Higher Dimensional AutomataCristian Prisacariu. 494-508 [doi]
- A Communication Based Model for Games of Imperfect InformationRamaswamy Ramanujam, Sunil Easaw Simon. 509-523 [doi]
- Flat Coalgebraic Fixed Point LogicsLutz Schröder, Yde Venema. 524-538 [doi]
- Conditional Automata: A Tool for Safe Removal of Negligible EventsRoberto Segala, Andrea Turrini. 539-553 [doi]
- Representations of Petri Net InteractionsPawel Sobocinski. 554-568 [doi]
- Communicating Transactions - (Extended Abstract)Edsko de Vries, Vasileios Koutavas, Matthew Hennessy. 569-583 [doi]
- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for ManipulationsTim A. C. Willemse. 584-598 [doi]