default search action
26th CONCUR 2015: Madrid, Spain
- Luca Aceto, David de Frutos-Escrig:
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-91-0 - Front Matter, Table of Contents, Preface, Committees, External Reviewers. i-xiv
Invited Papers
- Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro
, Stefano Zacchiroli
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). 1-16 - James Worrell:
Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). 17-17 - Narges Khakpour
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). 18-40 - Matthew Hennessy:
Behavioural Equivalences for Co-operating Transactions (Invited Paper). 41-41 - Alexandra Silva:
Applications of Automata and Concurrency Theory in Networks (Invited Paper). 42-43
Regular Papers
- Nathalie Bertrand
Distributed Local Strategies in Broadcast Networks. 44-57 - Andrea Cerone
A Framework for Transactional Consistency Models with Atomic Visibility. 58-71 - Salvatore La Torre, Anca Muscholl, Igor Walukiewicz:
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. 72-84 - David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss:
On the Succinctness of Idioms for Concurrent Programming. 85-99 - Romain Brenguier, Jean-François Raskin, Ocan Sankur:
Assume-Admissible Synthesis. 100-113 - Paul Hunter
Reactive Synthesis Without Regret. 114-127 - Eike Best, Raymond R. Devillers:
Synthesis of Bounded Choice-Free Petri Nets. 128-141 - Jan Kretínský, Kim Guldstrand Larsen
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. 142-154 - Daniel Gebler, Simone Tini
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. 155-168 - Sadegh Esmaeil Zadeh Soudjani
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. 169-183 - Vojtech Forejt, Jan Krcál:
On Frequency LTL in Probabilistic Systems. 184-197 - Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber:
Modal Logics for Nominal Transition Systems. 198-211 - Sergueï Lenglet, Alan Schmitt:
Howe's Method for Contextual Semantics. 212-225 - Luca Cardelli
Forward and Backward Bisimulations for Chemical Reaction Networks. 226-239 - Filippo Bonchi
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. 240-253 - Taolue Chen
On the Satisfiability of Indexed Linear Temporal Logics. 254-267 - Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Expresiveness and Complexity Results for Strategic Reasoning. 268-282 - Laura Bocchi, Julien Lange
Meeting Deadlines Together. 283-296 - Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. 297-310 - Patricia Bouyer, Samy Jaziri, Nicolas Markey:
On the Value Problem in Weighted Timed Games. 311-324 - Shaull Almagor
Repairing Multi-Player Games. 325-339 - C. Aiswarya
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. 340-353 - Ernst Moritz Hahn, Guangyuan Li, Sven Schewe
Lazy Probabilistic Model Checking without Determinisation. 354-367 - Dana Fisman
A Modular Approach for Büchi Determinization. 368-382 - Fu Song, Weikai Miao, Geguang Pu, Min Zhang:
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. 383-397 - Dimitrios Kouzapas
Characteristic Bisimulation for Higher-Order Session Processes. 398-411 - Marco Carbone, Fabrizio Montesi
Multiparty Session Types as Coherence Proofs. 412-426 - Yuxin Deng
On Coinduction and Quantum Lambda Calculi. 427-440 - Yuan Feng
Toward Automatic Verification of Quantum Cryptographic Protocols. 441-455 - César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Unfolding-based Partial Order Reduction. 456-469 - Javier Esparza
Verification of Population Protocols. 470-482 - Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
Rely/Guarantee Reasoning for Asynchronous Programs. 483-496 - David Baelde, Stéphanie Delaune, Lucca Hirschi:
Partial Order Reduction for Security Protocols. 497-510
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: