Portal - CONCUR 2015

CONCUR 2015	September 1-4, 2015 - Madrid, Spain
26th International Conference on Concurrency Theory (CONCUR 2015) Luca Aceto and David de Frutos Escrig (Eds.)
ISBN 978-3-939897-91-0, LIPICS Vol. 42	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server

Authors

de Frutos Escrig, David

Eriksson, Lars-Henrik

Esmaeil Zadeh Soudjani, Sadegh

Larsen, Kim Guldstrand

Mousavi, Mohammad Reza

Raskin, Jean-François

Front Matter, Table of Contents, Preface, Committees, External Reviewers

Authors: Aceto, Luca ; de Frutos Escrig, David

Abstract | Document (306 KB) | BibTeX

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)

Authors: Di Cosmo, Roberto ; Lienhardt, Michael ; Mauro, Jacopo ; Zacchiroli, Stefano ; Zavattaro, Gianluigi ; Zwolakowski, Jakub

Abstract | Document (743 KB) | BibTeX

Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper)

Authors: Worrell, James

Abstract | Document (236 KB) | BibTeX

Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)

Authors: Khakpour, Narges ; Mousavi, Mohammad Reza

Abstract | Document (587 KB) | BibTeX

Behavioural Equivalences for Co-operating Transactions (Invited Paper)

Authors: Hennessy, Matthew

Abstract | Document (200 KB) | BibTeX

Applications of Automata and Concurrency Theory in Networks (Invited Paper)

Authors: Silva, Alexandra

Abstract | Document (261 KB) | BibTeX

Distributed Local Strategies in Broadcast Networks

Authors: Bertrand, Nathalie ; Fournier, Paulin ; Sangnier, Arnaud

Abstract | Document (486 KB) | BibTeX

A Framework for Transactional Consistency Models with Atomic Visibility

Authors: Cerone, Andrea ; Bernardi, Giovanni ; Gotsman, Alexey

Abstract | Document (760 KB) | BibTeX

Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable

Authors: La Torre, Salvatore ; Muscholl, Anca ; Walukiewicz, Igor

Abstract | Document (719 KB) | BibTeX

On the Succinctness of Idioms for Concurrent Programming

Authors: Harel, David ; Katz, Guy ; Lampert, Robby ; Marron, Assaf ; Weiss, Gera

Abstract | Document (428 KB) | BibTeX

Assume-Admissible Synthesis

Authors: Brenguier, Romain ; Raskin, Jean-François ; Sankur, Ocan

Abstract | Document (543 KB) | BibTeX

Reactive Synthesis Without Regret

Authors: Hunter, Paul ; Pérez, Guillermo A. ; Raskin, Jean-François

Abstract | Document (533 KB) | BibTeX

Synthesis of Bounded Choice-Free Petri Nets

Authors: Best, Eike ; Devillers, Raymond

Abstract | Document (492 KB) | BibTeX

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

Authors: Kretinsky, Jan ; Larsen, Kim Guldstrand ; Laursen, Simon ; Srba, Jiri

Abstract | Document (456 KB) | BibTeX

SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators

Authors: Gebler, Daniel ; Tini, Simone

Abstract | Document (527 KB) | BibTeX

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

Authors: Esmaeil Zadeh Soudjani, Sadegh ; Abate, Alessandro ; Majumdar, Rupak

Abstract | Document (543 KB) | BibTeX

On Frequency LTL in Probabilistic Systems

Authors: Forejt, Vojtech ; Krcal, Jan

Abstract | Document (508 KB) | BibTeX

Modal Logics for Nominal Transition Systems

Authors: Parrow, Joachim ; Borgström, Johannes ; Eriksson, Lars-Henrik ; Gutkovas, Ramunas ; Weber, Tjark

Abstract | Document (454 KB) | BibTeX

Howe's Method for Contextual Semantics

Authors: Lenglet, Serguei ; Schmitt, Alan

Abstract | Document (464 KB) | BibTeX

Forward and Backward Bisimulations for Chemical Reaction Networks

Authors: Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea

Abstract | Document (512 KB) | BibTeX

Lax Bialgebras and Up-To Techniques for Weak Bisimulations

Authors: Bonchi, Filippo ; Petrisan, Daniela ; Pous, Damien ; Rot, Jurriaan

Abstract | Document (504 KB) | BibTeX

On the Satisfiability of Indexed Linear Temporal Logics

Authors: Chen, Taolue ; Song, Fu ; Wu, Zhilin

Abstract | Document (570 KB) | BibTeX

Expresiveness and Complexity Results for Strategic Reasoning

Authors: Gutierrez, Julian ; Harrenstein, Paul ; Wooldridge, Michael

Abstract | Document (481 KB) | BibTeX

Meeting Deadlines Together

Authors: Bocchi, Laura ; Lange, Julien ; Yoshida, Nobuko

Abstract | Document (719 KB) | BibTeX

To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games

Authors: Brihaye, Thomas ; Geeraerts, Gilles ; Haddad, Axel ; Monmege, Benjamin

Abstract | Document (589 KB) | BibTeX

On the Value Problem in Weighted Timed Games

Authors: Bouyer, Patricia ; Jaziri, Samy ; Markey, Nicolas

Abstract | Document (507 KB) | BibTeX

Repairing Multi-Player Games

Authors: Almagor, Shaull ; Avni, Guy ; Kupferman, Orna

Abstract | Document (478 KB) | BibTeX

An Automata-Theoretic Approach to the Verification of Distributed Algorithms

Authors: Aiswarya, Cyriac ; Bollig, Benedikt ; Gastin, Paul

Abstract | Document (1,470 KB) | BibTeX

Lazy Probabilistic Model Checking without Determinisation

Authors: Hahn, Ernst Moritz ; Li, Guangyuan ; Schewe, Sven ; Turrini, Andrea ; Zhang, Lijun

Abstract | Document (601 KB) | BibTeX

A Modular Approach for Büchi Determinization

Authors: Fisman, Dana ; Lustig, Yoad

Abstract | Document (654 KB) | BibTeX

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference

Authors: Song, Fu ; Miao, Weikai ; Pu, Geguang ; Zhang, Min

Abstract | Document (640 KB) | BibTeX

Characteristic Bisimulation for Higher-Order Session Processes

Authors: Kouzapas, Dimitrios ; Pérez, Jorge A. ; Yoshida, Nobuko

Abstract | Document (598 KB) | BibTeX

Multiparty Session Types as Coherence Proofs

Authors: Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko

Abstract | Document (634 KB) | BibTeX

On Coinduction and Quantum Lambda Calculi

Authors: Deng, Yuxin ; Feng, Yuan ; Dal Lago, Ugo

Abstract | Document (574 KB) | BibTeX

Toward Automatic Verification of Quantum Cryptographic Protocols

Authors: Feng, Yuan ; Ying, Mingsheng

Abstract | Document (554 KB) | BibTeX

Unfolding-based Partial Order Reduction

Authors: Rodríguez, César ; Sousa, Marcelo ; Sharma, Subodh ; Kroening, Daniel

Abstract | Document (659 KB) | BibTeX

Verification of Population Protocols

Authors: Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak

Abstract | Document (463 KB) | BibTeX

Rely/Guarantee Reasoning for Asynchronous Programs

Authors: Gavran, Ivan ; Niksic, Filip ; Kanade, Aditya ; Majumdar, Rupak ; Vafeiadis, Viktor

Abstract | Document (573 KB) | BibTeX

Partial Order Reduction for Security Protocols

Authors: Baelde, David ; Delaune, Stéphanie ; Hirschi, Lucca

Abstract | Document (617 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

26th International Conference on Concurrency Theory (CONCUR 2015)