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
  • Abate, Alessandro
  • Aceto, Luca
  • Aiswarya, Cyriac
  • Almagor, Shaull
  • Avni, Guy
  • Baelde, David
  • Bernardi, Giovanni
  • Bertrand, Nathalie
  • Best, Eike
  • Bocchi, Laura
  • Bollig, Benedikt
  • Bonchi, Filippo
  • Borgström, Johannes
  • Bouyer, Patricia
  • Brenguier, Romain
  • Brihaye, Thomas
  • Carbone, Marco
  • Cardelli, Luca
  • Cerone, Andrea
  • Chen, Taolue
  • Dal Lago, Ugo
  • de Frutos Escrig, David
  • Delaune, Stéphanie
  • Deng, Yuxin
  • Devillers, Raymond
  • Di Cosmo, Roberto
  • Eriksson, Lars-Henrik
  • Esmaeil Zadeh Soudjani, Sadegh
  • Esparza, Javier
  • Feng, Yuan
  • Fisman, Dana
  • Forejt, Vojtech
  • Fournier, Paulin
  • Ganty, Pierre
  • Gastin, Paul
  • Gavran, Ivan
  • Gebler, Daniel
  • Geeraerts, Gilles
  • Gotsman, Alexey
  • Gutierrez, Julian
  • Gutkovas, Ramunas
  • Haddad, Axel
  • Hahn, Ernst Moritz
  • Harel, David
  • Harrenstein, Paul
  • Hennessy, Matthew
  • Hirschi, Lucca
  • Hunter, Paul
  • Jaziri, Samy
  • Kanade, Aditya
  • Katz, Guy
  • Khakpour, Narges
  • Kouzapas, Dimitrios
  • Krcal, Jan
  • Kretinsky, Jan
  • Kroening, Daniel
  • Kupferman, Orna
  • Lampert, Robby
  • Lange, Julien
  • Larsen, Kim Guldstrand
  • La Torre, Salvatore
  • Laursen, Simon
  • Lenglet, Serguei
  • Leroux, Jérôme
  • Li, Guangyuan
  • Lienhardt, Michael
  • Lustig, Yoad
  • Majumdar, Rupak
  • Markey, Nicolas
  • Marron, Assaf
  • Mauro, Jacopo
  • Miao, Weikai
  • Monmege, Benjamin
  • Montesi, Fabrizio
  • Mousavi, Mohammad Reza
  • Muscholl, Anca
  • Niksic, Filip
  • Pérez, Guillermo A.
  • Pérez, Jorge A.
  • Parrow, Joachim
  • Petrisan, Daniela
  • Pous, Damien
  • Pu, Geguang
  • Raskin, Jean-François
  • Rodríguez, César
  • Rot, Jurriaan
  • Sangnier, Arnaud
  • Sankur, Ocan
  • Schürmann, Carsten
  • Schewe, Sven
  • Schmitt, Alan
  • Sharma, Subodh
  • Silva, Alexandra
  • Song, Fu
  • Sousa, Marcelo
  • Srba, Jiri
  • Tini, Simone
  • Tribastone, Mirco
  • Tschaikowski, Max
  • Turrini, Andrea
  • Vafeiadis, Viktor
  • Vandin, Andrea
  • Walukiewicz, Igor
  • Weber, Tjark
  • Weiss, Gera
  • Wooldridge, Michael
  • Worrell, James
  • Wu, Zhilin
  • Ying, Mingsheng
  • Yoshida, Nobuko
  • Zacchiroli, Stefano
  • Zavattaro, Gianluigi
  • Zhang, Lijun
  • Zhang, Min
  • Zwolakowski, Jakub

  •   
    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 Published by LZI