×

29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. (English) Zbl 1402.68024

LIPIcs – Leibniz International Proceedings in Informatics 118. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-087-3). xxi, 42 articles, not consecutively paged, electronic only, open access (2018).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1372.68016].
Indexed articles:
Deng, Yuxin, Bisimulations for probabilistic and quantum processes (invited paper), Article 2, 14 p. [Zbl 1520.68093]
Polyakov, Andy; Tsai, Ming-Hsien; Wang, Bow-Yaw; Yang, Bo-Yin, Verifying arithmetic assembly programs in cryptographic primitives (invited talk), Article 4, 16 p. [Zbl 1520.68078]
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Ciobanu, Radu; Mayr, Richard; Totzke, Patrick, Universal safety for timed Petri nets is PSPACE-complete, Article 6, 15 p. [Zbl 1520.68085]
Bollig, Benedikt; Fortin, Marie; Gastin, Paul, It is easy to be wise after the event: communicating finite-state machines capture first-order logic with “happened before”, Article 7, 17 p. [Zbl 1487.68163]
Křetínský, Jan; Pérez, Guillermo A.; Raskin, Jean-François, Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints, Article 8, 18 p. [Zbl 1520.90206]
Tang, Qiyi; van Breugel, Franck, Deciding probabilistic bisimilarity distance one for probabilistic automata, Article 9, 17 p. [Zbl 1520.68099]
Michaliszyn, Jakub; Otop, Jan, Non-deterministic weighted automata on random words, Article 10, 16 p. [Zbl 1520.68064]
Chatterjee, Krishnendu; Kafshdar, Goharshady Amir; Ibsen-Jensen, Rasmus; Velner, Yaron, Ergodic mean-payoff games for the analysis of attacks in crypto-currencies, Article 11, 17 p. [Zbl 1520.94045]
Roland, Meyer; Muskalla, Sebastian; Zetzsche, Georg, Bounded context switching for valence systems, Article 12, 18 p. [Zbl 1520.68036]
Fournier, Paulin; Gimbert, Hugo, Alternating nonzero automata, Article 13, 16 p. [Zbl 1520.68056]
Blondin, Michael; Haase, Christoph; Mazowiecki, Filip, Affine extensions of integer vector addition systems with states, Article 14, 17 p. [Zbl 1520.68088]
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan, Kumar K.; Saivasan, Prakash, Verifying quantitative temporal properties of procedural programs, Article 15, 17 p. [Zbl 1520.68026]
Tredup, Ronny; Rosenke, Christian, Narrowing down the hardness barrier of synthesizing elementary net systems, Article 16, 15 p. [Zbl 1520.68100]
Bonchi, Filippo; König, Barbara; Petrişan, Daniela, Up-to techniques for behavioural metrics via fibrations, Article 17, 17 p. [Zbl 1520.68089]
Doumane, Amina; Pous, Damien, Completeness for identity-free Kleene lattices, Article 18, 17 p. [Zbl 1520.68055]
Kukovec, Jure; Konnov, Igor; Widder, Josef, Reachability in parameterized systems: all flavors of threshold automata, Article 19, 17 p. [Zbl 1520.68062]
Grigore, Radu; Kiefer, Stefan, Selective monitoring, Article 20, 16 p. [Zbl 1520.68101]
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A., Synchronizing the asynchronous, Article 21, 17 p. [Zbl 1520.68029]
Goncharov, Sergey; Jakob, Julian; Neves, Renato, A semantics for hybrid iteration, Article 22, 17 p. [Zbl 1520.68028]
Sorensen, Tyler; Evrard, Hugues; Donaldson, Alastair F., GPU schedulers: how fair is fair enough?, Article 23, 17 p. [Zbl 1520.68016]
Hofman, Piotr; Lasota, Slawomir, Linear equations with ordered data, Article 24, 17 p. [Zbl 1520.68094]
Brengos, Tomasz, A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves, Article 25, 18 p. [Zbl 1520.68054]
Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh, Relating syntactic and semantic perturbations of hybrid automata, Article 26, 16 p. [Zbl 1520.68066]
Cabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, Barbara, Updating probabilistic knowledge on condition/event nets using Bayesian networks, Article 27, 17 p. [Zbl 1520.68090]
Gastin, Paul; Mukherjee, Sayan; Srivathsan, B., Reachability in timed automata with diagonal constraints, Article 28, 17 p. [Zbl 1520.68057]
Bruyère, Véronique; Hautem, Quentin; Raskin, Jean-François, Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives, Article 29, 16 p. [Zbl 1520.68046]
Balzer, Stephanie; Pfenning, Frank; Toninho, Bernardo, A universal session type for untyped asynchronous communication, Article 30, 18 p. [Zbl 1520.68086]
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana, Verification of immediate observation population protocols, Article 31, 16 p. [Zbl 1520.68072]
Křetínský, Jan; Rotar, Alexej, The satisfiability problem for unbounded fragments of probabilistic CTL, Article 32, 16 p. [Zbl 1520.68075]
Blondin, Michael; Esparza, Javier; Kučera, Antonín, Automatic analysis of expected termination time for population protocols, Article 33, 16 p. [Zbl 1487.68033]
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna, On runtime enforcement via suppressions, Article 34, 17 p. [Zbl 1520.68069]
Czerwiński, Wojciech; Lasota, Slawomir; Meyer, Roland; Muskalla, Sebastian; Narayan, Kumar K.; Saivasan, Prakash, Regular separability of well-structured transition systems, Article 35, 18 p. [Zbl 1520.68092]
Gorlin, Andrey; Ramakrishnan, C. R., Separable GPL: decidable model checking with more non-determinism, Article 36, 16 p. [Zbl 1520.68074]
König, Barbara; Mika-Michalski, Christina, (Metric) bisimulation games and real-valued modal logics for coalgebras, Article 37, 17 p. [Zbl 1520.68096]
Condurache, Rodica; Oualhadj, Youssouf; Troquard, Nicolas, The complexity of rational synthesis for concurrent games, Article 38, 15 p. [Zbl 1520.68091]
Krishna, Shankara Narayanan; Madnani, Khushraj; Pandya, Paritosh K., Logics meet 1-clock alternating timed automata, Article 39, 17 p. [Zbl 1520.03001]
Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio, Progress-preserving refinements of CTA, Article 40, 19 p. [Zbl 1520.68087]
Nagar, Kartik; Jagannathan, Suresh, Automated detection of serializability violations under weak consistency, Article 41, 18 p. [Zbl 1520.68097]
Almagor, Shaull; Chapman, Brynmor; Hosseini, Mehran; Ouaknine, Joël; Worrell, James, Effective divergence analysis for linear recurrence sequences, Article 42, 15 p. [Zbl 07378586]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1372.68016
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] 29th International Conference on Concurrency Theory (CONCUR 2018). Editors: Sven Schewe and Lijun Zhang Leibniz International Proceedings in Informatics Schloss Dagstuhl -Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
[2] 29th International Conference on Concurrency Theory (CONCUR 2018). Editors: Sven Schewe and Lijun Zhang Leibniz International Proceedings in Informatics Schloss Dagstuhl -Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.