LIPIcs, Volume 118, CONCUR'18, Complete Volume (Englisch)
Freier Zugriff
- Neue Suche nach: Schewe, Sven
- Neue Suche nach: Zhang, Lijun
- Neue Suche nach: Schewe, Sven
- Neue Suche nach: Zhang, Lijun
2018
-
ISBN:
-
ISSN:
- Konferenzband / Elektronische Ressource
-
Titel:LIPIcs, Volume 118, CONCUR'18, Complete Volume
-
Beteiligte:Schewe, Sven ( Autor:in , Herausgeber:in ) / Zhang, Lijun ( Autor:in , Herausgeber:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:10.09.2018
-
Format / Umfang:700 pages , 21727272 byte
-
Anmerkungen:LIPIcs, Vol. 118, 29th International Conference on Concurrency Theory (CONCUR 2018), pages 0-0
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
The Siren Song of Temporal Synthesis (Invited Talk)Vardi, Moshe Y. et al. | 2018
- 2
-
Bisimulations for Probabilistic and Quantum Processes (Invited Paper)Deng, Yuxin et al. | 2018
- 3
-
Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk)van Glabbeek, Rob et al. | 2018
- 4
-
Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk)Polyakov, Andy / Tsai, Ming-Hsien / Wang, Bow-Yaw / Yang, Bo-Yin et al. | 2018
- 5
-
Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial)Hasuo, Ichiro et al. | 2018
- 6
-
Universal Safety for Timed Petri Nets is PSPACE-completeAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Ciobanu, Radu / Mayr, Richard / Totzke, Patrick et al. | 2018
- 7
-
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"Bollig, Benedikt / Fortin, Marie / Gastin, Paul et al. | 2018
- 8
-
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular ConstraintsKretínský, Jan / Pérez, Guillermo A. / Raskin, Jean-François et al. | 2018
- 9
-
Deciding Probabilistic Bisimilarity Distance One for Probabilistic AutomataTang, Qiyi / van Breugel, Franck et al. | 2018
- 10
-
Non-deterministic Weighted Automata on Random WordsMichaliszyn, Jakub / Otop, Jan et al. | 2018
- 11
-
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-CurrenciesChatterjee, Krishnendu / Kafshdar Goharshady, Amir / Ibsen-Jensen, Rasmus / Velner, Yaron et al. | 2018
- 12
-
Bounded Context Switching for Valence SystemsMeyer, Roland / Muskalla, Sebastian / Zetzsche, Georg et al. | 2018
- 13
-
Alternating Nonzero AutomataFournier, Paulin / Gimbert, Hugo et al. | 2018
- 14
-
Affine Extensions of Integer Vector Addition Systems with StatesBlondin, Michael / Haase, Christoph / Mazowiecki, Filip et al. | 2018
- 15
-
Verifying Quantitative Temporal Properties of Procedural ProgramsAtig, Mohamed Faouzi / Bouajjani, Ahmed / Narayan Kumar, K. / Saivasan, Prakash et al. | 2018
- 16
-
Narrowing down the Hardness Barrier of Synthesizing Elementary Net SystemsTredup, Ronny / Rosenke, Christian et al. | 2018
- 17
-
Up-To Techniques for Behavioural Metrics via FibrationsBonchi, Filippo / König, Barbara / Petrisan, Daniela et al. | 2018
- 18
-
Completeness for Identity-free Kleene LatticesDoumane, Amina / Pous, Damien et al. | 2018
- 19
-
Reachability in Parameterized Systems: All Flavors of Threshold AutomataKukovec, Jure / Konnov, Igor / Widder, Josef et al. | 2018
- 20
-
Selective MonitoringGrigore, Radu / Kiefer, Stefan et al. | 2018
- 21
-
Synchronizing the AsynchronousKragl, Bernhard / Qadeer, Shaz / Henzinger, Thomas A. et al. | 2018
- 22
-
A Semantics for Hybrid IterationGoncharov, Sergey / Jakob, Julian / Neves, Renato et al. | 2018
- 23
-
GPU Schedulers: How Fair Is Fair Enough?Sorensen, Tyler / Evrard, Hugues / Donaldson, Alastair F. et al. | 2018
- 24
-
Linear Equations with Ordered DataHofman, Piotr / Lasota, Slawomir et al. | 2018
- 25
-
A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal MovesBrengos, Tomasz et al. | 2018
- 26
-
Relating Syntactic and Semantic Perturbations of Hybrid AutomataRoohi, Nima / Prabhakar, Pavithra / Viswanathan, Mahesh et al. | 2018
- 27
-
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian NetworksCabrera, Benjamin / Heindel, Tobias / Heckel, Reiko / König, Barbara et al. | 2018
- 28
-
Reachability in Timed Automata with Diagonal ConstraintsGastin, Paul / Mukherjee, Sayan / Srivathsan, B. et al. | 2018
- 29
-
Parameterized complexity of games with monotonically ordered omega-regular objectivesBruyère, Véronique / Hautem, Quentin / Raskin, Jean-François et al. | 2018
- 30
-
A Universal Session Type for Untyped Asynchronous CommunicationBalzer, Stephanie / Pfenning, Frank / Toninho, Bernardo et al. | 2018
- 31
-
Verification of Immediate Observation Population ProtocolsEsparza, Javier / Ganty, Pierre / Majumdar, Rupak / Weil-Kennedy, Chana et al. | 2018
- 32
-
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTLKretínský, Jan / Rotar, Alexej et al. | 2018
- 33
-
Automatic Analysis of Expected Termination Time for Population ProtocolsBlondin, Michael / Esparza, Javier / Kucera, Antonín et al. | 2018
- 34
-
On Runtime Enforcement via SuppressionsAceto, Luca / Cassar, Ian / Francalanza, Adrian / Ingólfsdóttir, Anna et al. | 2018
- 35
-
Regular Separability of Well-Structured Transition SystemsCzerwinski, Wojciech / Lasota, Slawomir / Meyer, Roland / Muskalla, Sebastian / Narayan Kumar, K. / Saivasan, Prakash et al. | 2018
- 36
-
Separable GPL: Decidable Model Checking with More Non-DeterminismGorlin, Andrey / Ramakrishnan, C. R. et al. | 2018
- 37
-
(Metric) Bisimulation Games and Real-Valued Modal Logics for CoalgebrasKönig, Barbara / Mika-Michalski, Christina et al. | 2018
- 38
-
The Complexity of Rational Synthesis for Concurrent GamesCondurache, Rodica / Oualhadj, Youssouf / Troquard, Nicolas et al. | 2018
- 39
-
Logics Meet 1-Clock Alternating Timed AutomataKrishna, Shankara Narayanan / Madnani, Khushraj / Pandya, Paritosh K. et al. | 2018
- 40
-
Progress-Preserving Refinements of CTABartoletti, Massimo / Bocchi, Laura / Murgia, Maurizio et al. | 2018
- 41
-
Automated Detection of Serializability Violations Under Weak ConsistencyNagar, Kartik / Jagannathan, Suresh et al. | 2018
- 42
-
Effective Divergence Analysis for Linear Recurrence SequencesAlmagor, Shaull / Chapman, Brynmor / Hosseini, Mehran / Ouaknine, Joël / Worrell, James et al. | 2018