Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/0001G23,
author = {Jan Martens and
Jan Friso Groote},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard,
but Variants are Tractable},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {32:1--32:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.32},
doi = {10.4230/LIPICS.CONCUR.2023.32},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001G23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001KW23,
author = {Bengt Jonsson and
Marta Kwiatkowska and
Igor Walukiewicz},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{CONCUR} Test-Of-Time Award 2023 (Invited Paper)},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {1:1--1:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.1},
doi = {10.4230/LIPICS.CONCUR.2023.1},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001KW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001MMZ23,
author = {Pascal Baumann and
Khushraj Madnani and
Filip Mazowiecki and
Georg Zetzsche},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Monus Semantics in Vector Addition Systems with States},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.10},
doi = {10.4230/LIPICS.CONCUR.2023.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/0001MMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0002P23,
author = {Anna Schmitt and
Kirstin Peters},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Probabilistic Operational Correspondence},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.15},
doi = {10.4230/LIPICS.CONCUR.2023.15},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0002P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0031SV23,
author = {Yong Li and
Sven Schewe and
Moshe Y. Vardi},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Singly Exponential Translation of Alternating Weak B{\"{u}}chi
Automata to Unambiguous B{\"{u}}chi Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {37:1--37:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.37},
doi = {10.4230/LIPICS.CONCUR.2023.37},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0031SV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbateEGPR23,
author = {Alessandro Abate and
Alec Edwards and
Mirco Giacobbe and
Hashan Punchihewa and
Diptarko Roy},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Quantitative Verification with Neural Networks},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.22},
doi = {10.4230/LIPICS.CONCUR.2023.22},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AbateEGPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Ajdarow023,
author = {Michal Ajdar{\'{o}}w and
Anton{\'{\i}}n Kucera},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Asymptotic Complexity Estimates for Probabilistic Programs and Their
{VASS} Abstractions},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.12},
doi = {10.4230/LIPICS.CONCUR.2023.12},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Ajdarow023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AnandZ23,
author = {Ashwani Anand and
Georg Zetzsche},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Priority Downward Closures},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {39:1--39:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.39},
doi = {10.4230/LIPICS.CONCUR.2023.39},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AnandZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AttiyaEN23,
author = {Hagit Attiya and
Constantin Enea and
Shafik Nassar},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Faithful Simulation of Randomized {BFT} Protocols on Block DAGs},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.27},
doi = {10.4230/LIPICS.CONCUR.2023.27},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AttiyaEN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AvniGG23,
author = {Guy Avni and
Pranav Ghorpade and
Shibashis Guha},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Game of Pawns},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {16:1--16:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.16},
doi = {10.4230/LIPICS.CONCUR.2023.16},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AvniGG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BartocciHNC23,
author = {Ezio Bartocci and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Hypernode Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.21},
doi = {10.4230/LIPICS.CONCUR.2023.21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BartocciHNC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BertrandGKR23,
author = {Cl{\'{e}}ment Bertrand and
Cinzia Di Giusto and
Hanna Klaudel and
Damien Regnault},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Complexity of Membership and Non-Emptiness Problems in Unbounded Memory
Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {33:1--33:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.33},
doi = {10.4230/LIPICS.CONCUR.2023.33},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BertrandGKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BokerHMS23,
author = {Udi Boker and
Thomas A. Henzinger and
Nicolas Mazzocchi and
N. Ege Sara{\c{c}}},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Safety and Liveness of Quantitative Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {17:1--17:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.17},
doi = {10.4230/LIPICS.CONCUR.2023.17},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BokerHMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BosePT23,
author = {Sougata Bose and
David Purser and
Patrick Totzke},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {History-Deterministic Vector Addition Systems},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {18:1--18:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.18},
doi = {10.4230/LIPICS.CONCUR.2023.18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BosePT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bouajjani23,
author = {Ahmed Bouajjani},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On Verifying Concurrent Programs Under Weakly Consistent Models (Invited
Talk)},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.2},
doi = {10.4230/LIPICS.CONCUR.2023.2},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bouajjani23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DemriQ23,
author = {St{\'{e}}phane Demri and
Karin Quaas},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Constraint Automata on Infinite Data Trees: from CTL({\(\mathbb{Z}\)})/
CTL*\}({\(\mathbb{Z}\)}) to Decision Procedures},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {29:1--29:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.29},
doi = {10.4230/LIPICS.CONCUR.2023.29},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DemriQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DominguezN23,
author = {Jes{\'{u}}s Dom{\'{\i}}nguez and
Aleksandar Nanevski},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Visibility and Separability for a Declarative Linearizability Proof
of the Timestamped Stack},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {30:1--30:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.30},
doi = {10.4230/LIPICS.CONCUR.2023.30},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DominguezN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ErlichGJL023,
author = {Enzo Erlich and
Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {History-Deterministic Parikh Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.31},
doi = {10.4230/LIPICS.CONCUR.2023.31},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/ErlichGJL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelHY23,
author = {Alain Finkel and
Serge Haddad and
Lina Ye},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {About Decisiveness of Dynamic Probabilistic Models},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {14:1--14:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.14},
doi = {10.4230/LIPICS.CONCUR.2023.14},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FinkelHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteW23,
author = {Jan Friso Groote and
Tim A. C. Willemse},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Real Equation Systems with Alternating Fixed-Points},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {28:1--28:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.28},
doi = {10.4230/LIPICS.CONCUR.2023.28},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrooteW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuillouSS23,
author = {Lucie Guillou and
Arnaud Sangnier and
Nathalie Sznajder},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {7:1--7:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.7},
doi = {10.4230/LIPICS.CONCUR.2023.7},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuillouSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuttenbergRE23,
author = {Roland Guttenberg and
Mikhail A. Raskin and
Javier Esparza},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Geometry of Reachability Sets of Vector Addition Systems},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.6},
doi = {10.4230/LIPICS.CONCUR.2023.6},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuttenbergRE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HaaseP23,
author = {Christoph Haase and
Radoslaw Pi{\'{o}}rkowski},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Universal Quantification Makes Automatic Structures Hard to Decide},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {13:1--13:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.13},
doi = {10.4230/LIPICS.CONCUR.2023.13},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HaaseP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/IosifZ23,
author = {Radu Iosif and
Florian Zuleger},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Expressiveness Results for an Inductive Logic of Separated Relations},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {20:1--20:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.20},
doi = {10.4230/LIPICS.CONCUR.2023.20},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/IosifZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/IsacZBK23,
author = {Omri Isac and
Yoni Zohar and
Clark W. Barrett and
Guy Katz},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{DNN} Verification, Reachability, and the Exponential Function Problem},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {26:1--26:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.26},
doi = {10.4230/LIPICS.CONCUR.2023.26},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/IsacZBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarL23,
author = {Petr Jancar and
J{\'{e}}r{\^{o}}me Leroux},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The Semilinear Home-Space Problem Is Ackermann-Complete for Petri
Nets},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {36:1--36:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.36},
doi = {10.4230/LIPICS.CONCUR.2023.36},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Keskin023,
author = {Eren Keskin and
Roland Meyer},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Separability and Non-Determinizability of {WSTS}},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {8:1--8:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.8},
doi = {10.4230/LIPICS.CONCUR.2023.8},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Keskin023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KlovstadKJ23,
author = {{\AA}smund Aqissiaq Arild Kl{\o}vstad and
Eduard Kamburjan and
Einar Broch Johnsen},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Compositional Correctness and Completeness for Symbolic Partial Order
Reduction},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.9},
doi = {10.4230/LIPICS.CONCUR.2023.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/KlovstadKJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KrishnaMMP23,
author = {Shankara Narayanan Krishna and
Khushraj Nanik Madnani and
Rupak Majumdar and
Paritosh K. Pandya},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Satisfiability Checking of Multi-Variable {TPTL} with Unilateral Intervals
Is PSPACE-Complete},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {23:1--23:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.23},
doi = {10.4230/LIPICS.CONCUR.2023.23},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KrishnaMMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KupfermanS23,
author = {Orna Kupferman and
Noam Shenwald},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Games with Trading of Control},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {19:1--19:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.19},
doi = {10.4230/LIPICS.CONCUR.2023.19},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KupfermanS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Lago023,
author = {Ugo Dal Lago and
Maurizio Murgia},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Contextual Behavioural Metrics},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {38:1--38:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.38},
doi = {10.4230/LIPICS.CONCUR.2023.38},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Lago023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiuTG23,
author = {Tiange Liu and
Alwen Tiu and
Jim de Groot},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Modal Logics for Mobile Processes Revisited},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {34:1--34:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.34},
doi = {10.4230/LIPICS.CONCUR.2023.34},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/LiuTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MascleMW23,
author = {Corto Mascle and
Anca Muscholl and
Igor Walukiewicz},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {24:1--24:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.24},
doi = {10.4230/LIPICS.CONCUR.2023.24},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MascleMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MichaliszynOW23,
author = {Jakub Michaliszyn and
Jan Otop and
Piotr Wieczorek},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Reachability and Bounded Emptiness Problems of Constraint Automata
with Prefix, Suffix and Infix},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {3:1--3:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.3},
doi = {10.4230/LIPICS.CONCUR.2023.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/MichaliszynOW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RaadVBO23,
author = {Azalea Raad and
Julien Vanegue and
Josh Berdine and
Peter W. O'Hearn},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A General Approach to Under-Approximate Reasoning About Concurrent
Programs},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {25:1--25:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.25},
doi = {10.4230/LIPICS.CONCUR.2023.25},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/RaadVBO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Schewe0Z23,
author = {Sven Schewe and
Qiyi Tang and
Tansholpan Zhanabekova},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Deciding What Is Good-For-MDPs},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {35:1--35:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.35},
doi = {10.4230/LIPICS.CONCUR.2023.35},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Schewe0Z23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SilvaMV23,
author = {Gil Silva and
Andreia Mordido and
Vasco T. Vasconcelos},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Subtyping Context-Free Session Types},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.11},
doi = {10.4230/LIPICS.CONCUR.2023.11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SilvaMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SpaendonckW23,
author = {P. H. M. van Spaendonck and
Tim A. C. Willemse},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The Best of Both Worlds: Model-Driven Engineering Meets Model-Based
Testing},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {4:1--4:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.4},
doi = {10.4230/LIPICS.CONCUR.2023.4},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SpaendonckW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SpronckL23,
author = {Myrthe S. C. Spronck and
Bas Luttik},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.5},
doi = {10.4230/LIPICS.CONCUR.2023.5},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SpronckL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/X23,
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {0:1--0:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.0},
doi = {10.4230/LIPICS.CONCUR.2023.0},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/X23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2023,
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-299-0},
isbn = {978-3-95977-299-0},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-22 16:59 CEST from data curated 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:
