LIPIcs, Volume 42
CONCUR 2015, September 1-4, 2015, Madrid, Spain
Editors: Luca Aceto and David de Frutos Escrig
Published in: LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)
Petr Jančar and Jérôme Leroux. The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets. In 34th International Conference on Concurrency Theory (CONCUR 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 279, pp. 36:1-36:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{jancar_et_al:LIPIcs.CONCUR.2023.36, author = {Jan\v{c}ar, Petr and Leroux, J\'{e}r\^{o}me}, title = {{The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets}}, booktitle = {34th International Conference on Concurrency Theory (CONCUR 2023)}, pages = {36:1--36:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-299-0}, ISSN = {1868-8969}, year = {2023}, volume = {279}, editor = {P\'{e}rez, Guillermo A. and Raskin, Jean-Fran\c{c}ois}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.36}, URN = {urn:nbn:de:0030-drops-190300}, doi = {10.4230/LIPIcs.CONCUR.2023.36}, annote = {Keywords: Petri nets, home-space property, semilinear sets, Ackermannian complexity} }
Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, and Guido Sciavicco. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 11:1-11:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{dellamonica_et_al:LIPIcs.TIME.2017.11, author = {Della Monica, Dario and de Frutos-Escrig, David and Montanari, Angelo and Murano, Aniello and Sciavicco, Guido}, title = {{Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking}}, booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}, pages = {11:1--11:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-052-1}, ISSN = {1868-8969}, year = {2017}, volume = {90}, editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.11}, URN = {urn:nbn:de:0030-drops-79280}, doi = {10.4230/LIPIcs.TIME.2017.11}, annote = {Keywords: Dataset Evaluation, Temporal Databases, Model Checking, Interval Temporal Logics} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Proceedings{aceto_et_al:LIPIcs.CONCUR.2015, title = {{LIPIcs, Volume 42, CONCUR'15, Complete Volume}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015}, URN = {urn:nbn:de:0030-drops-54628}, doi = {10.4230/LIPIcs.CONCUR.2015}, annote = {Keywords: Computer-Communication Networks, Software Engineering, Computation by Abstract Devices, Logics and Meanings of Programs, Simulation and Modeling} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. i-xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{aceto_et_al:LIPIcs.CONCUR.2015.i, author = {Aceto, Luca and de Frutos Escrig, David}, title = {{Front Matter, Table of Contents, Preface, Committees, External Reviewers}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {i--xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.i}, URN = {urn:nbn:de:0030-drops-53610}, doi = {10.4230/LIPIcs.CONCUR.2015.i}, annote = {Keywords: Front Matter, Table of Contents, Preface, Committees, External Reviewers} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, and Jakub Zwolakowski. Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{dicosmo_et_al:LIPIcs.CONCUR.2015.1, author = {Di Cosmo, Roberto and Lienhardt, Michael and Mauro, Jacopo and Zacchiroli, Stefano and Zavattaro, Gianluigi and Zwolakowski, Jakub}, title = {{Automatic Application Deployment in the Cloud: from Practice to Theory and Back}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {1--16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.1}, URN = {urn:nbn:de:0030-drops-53956}, doi = {10.4230/LIPIcs.CONCUR.2015.1}, annote = {Keywords: Automatic deployment, Planning, DevOps, Constraint Programming} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
James Worrell. Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, p. 17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{worrell:LIPIcs.CONCUR.2015.17, author = {Worrell, James}, title = {{Reachability Problems for Continuous Linear Dynamical Systems}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {17--17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.17}, URN = {urn:nbn:de:0030-drops-53960}, doi = {10.4230/LIPIcs.CONCUR.2015.17}, annote = {Keywords: Linear differential Equations, Hybrid Automata, Schanuel's Conjecture} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Narges Khakpour and Mohammad Reza Mousavi. Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 18-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{khakpour_et_al:LIPIcs.CONCUR.2015.18, author = {Khakpour, Narges and Mousavi, Mohammad Reza}, title = {{Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {18--40}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.18}, URN = {urn:nbn:de:0030-drops-53975}, doi = {10.4230/LIPIcs.CONCUR.2015.18}, annote = {Keywords: Cyber-physical systems, hybrid systems, conformance testing, model-based testing, behavioral pre-orders, hybrid input-output conformance testing, (tau} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Matthew Hennessy. Behavioural Equivalences for Co-operating Transactions (Invited Paper). In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, p. 41, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{hennessy:LIPIcs.CONCUR.2015.41, author = {Hennessy, Matthew}, title = {{Behavioural Equivalences for Co-operating Transactions}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {41--41}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.41}, URN = {urn:nbn:de:0030-drops-53985}, doi = {10.4230/LIPIcs.CONCUR.2015.41}, annote = {Keywords: Behavioural equivalences, transactional systems} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Alexandra Silva. Applications of Automata and Concurrency Theory in Networks (Invited Paper). In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 42-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{silva:LIPIcs.CONCUR.2015.42, author = {Silva, Alexandra}, title = {{Applications of Automata and Concurrency Theory in Networks}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {42--43}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.42}, URN = {urn:nbn:de:0030-drops-53993}, doi = {10.4230/LIPIcs.CONCUR.2015.42}, annote = {Keywords: Automata, network programming, coalgebra} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Nathalie Bertrand, Paulin Fournier, and Arnaud Sangnier. Distributed Local Strategies in Broadcast Networks. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 44-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{bertrand_et_al:LIPIcs.CONCUR.2015.44, author = {Bertrand, Nathalie and Fournier, Paulin and Sangnier, Arnaud}, title = {{Distributed Local Strategies in Broadcast Networks}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {44--57}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.44}, URN = {urn:nbn:de:0030-drops-53796}, doi = {10.4230/LIPIcs.CONCUR.2015.44}, annote = {Keywords: Broadcast networks, parameterized verification, local strategies} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. A Framework for Transactional Consistency Models with Atomic Visibility. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 58-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cerone_et_al:LIPIcs.CONCUR.2015.58, author = {Cerone, Andrea and Bernardi, Giovanni and Gotsman, Alexey}, title = {{A Framework for Transactional Consistency Models with Atomic Visibility}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {58--71}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.58}, URN = {urn:nbn:de:0030-drops-53756}, doi = {10.4230/LIPIcs.CONCUR.2015.58}, annote = {Keywords: Replication, Consistency models, Transactions} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Salvatore La Torre, Anca Muscholl, and Igor Walukiewicz. Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 72-84, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{latorre_et_al:LIPIcs.CONCUR.2015.72, author = {La Torre, Salvatore and Muscholl, Anca and Walukiewicz, Igor}, title = {{Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {72--84}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.72}, URN = {urn:nbn:de:0030-drops-53813}, doi = {10.4230/LIPIcs.CONCUR.2015.72}, annote = {Keywords: Verification, parametrized systems, shared memory} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
David Harel, Guy Katz, Robby Lampert, Assaf Marron, and Gera Weiss. On the Succinctness of Idioms for Concurrent Programming. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 85-99, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{harel_et_al:LIPIcs.CONCUR.2015.85, author = {Harel, David and Katz, Guy and Lampert, Robby and Marron, Assaf and Weiss, Gera}, title = {{On the Succinctness of Idioms for Concurrent Programming}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {85--99}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.85}, URN = {urn:nbn:de:0030-drops-53849}, doi = {10.4230/LIPIcs.CONCUR.2015.85}, annote = {Keywords: Descriptive Succinctness, Module Size, Automata, Bounded Concurrency} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Romain Brenguier, Jean-François Raskin, and Ocan Sankur. Assume-Admissible Synthesis. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 100-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{brenguier_et_al:LIPIcs.CONCUR.2015.100, author = {Brenguier, Romain and Raskin, Jean-Fran\c{c}ois and Sankur, Ocan}, title = {{Assume-Admissible Synthesis}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {100--113}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.100}, URN = {urn:nbn:de:0030-drops-53711}, doi = {10.4230/LIPIcs.CONCUR.2015.100}, annote = {Keywords: Multi-player games, controller synthesis, admissibility} }
Feedback for Dagstuhl Publishing