Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Uli Schlachter |
Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 15:1-15:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar |
Bayesian Inversion by ω-Complete Cone Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 1:1-1:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Alexey Gotsman |
Robustness against Consistency Models with Atomic Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 7:1-7:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare |
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 21:1-21:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers |
Decentralized Asynchronous Crash-Resilient Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 16:1-16:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
The Benefits of Duality in Verifying Concurrent Programs under TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 5:1-5:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
Local Linearizability for Concurrent Container-Type Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 6:1-6:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hausmann 0001, Lutz Schröder, Christoph Egger 0001 |
Global Caching for the Alternation-free μ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 34:1-34:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marvin Triebel, Jan Sürmeli |
Homogeneous Equations of Algebraic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 14:1-14:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux |
Diagnosis in Infinite-State Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 37:1-37:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq |
Bisimulations and Unfolding in P-Accessible Categorical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 25:1-25:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Vojtech Forejt, Antonín Kucera 0001, Petr Novotný 0001 |
Stability in Graphs and Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 10:1-10:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Brengos, Marco Peressotti |
A Uniform Framework for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 26:1-26:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Valeria Vignudelli |
Up-To Techniques for Generalized Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 35:1-35:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid 0001 |
Topological Self-Stabilization with Name-Passing Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 19:1-19:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann 0001, Philip Wadler |
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 33:1-33:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Igor V. Konnov 0001, Tomer Kotek, Qiang Wang 0020, Helmut Veith, Simon Bliudze, Joseph Sifakis |
Parameterized Systems in BIP: Design and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 30:1-30:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
Robustly Parameterised Higher-Order Probabilistic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 23:1-23:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Loïg Jezequel, Didier Lime |
Lazy Reachability Analysis in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 17:1-17:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qiyi Tang 0001, Franck van Breugel |
Computing Probabilistic Bisimilarity Distances via Policy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 22:1-22:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier |
Optimal Assumptions for Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 8:1-8:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Orna Kupferman, Yaron Velner |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 9:1-9:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Masoud Saeida Ardekani, Gustavo Petri |
Consistency in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 3:1-3:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization . ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 0:i-0:xxii, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Rossi 0001 |
Ethical Preference-Based Decision Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 2:1-2:7, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amélie David 0001, François Laroussinie, Nicolas Markey |
On the Expressiveness of QCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 28:1-28:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
Private Names in Non-Commutative Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 31:1-31:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov |
Linear Distances between Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 20:1-20:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Christopher Hahn |
Deciding Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 13:1-13:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Quentin Hautem, Jean-François Raskin |
On the Complexity of Heterogeneous Multidimensional Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 11:1-11:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Model Checking Flat Freeze LTL on One-Counter Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 29:1-29:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari 0001 |
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 4:1-4:5, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Paul Gastin, Shankara Narayanan Krishna |
Analyzing Timed Systems Using Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 27:1-27:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault |
Causality vs. Interleavings in Concurrent Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 32:1-32:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Coalgebraic Trace Semantics for Buechi and Parity Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 24:1-24:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera, Deepak Garg 0001, James Cheney |
Causally Consistent Dynamic Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 18:1-18:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Modal Decomposition on Nondeterministic Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 36:1-36:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Josée Desharnais, Radha Jagadeesan (eds.) |
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Alexandra Silva 0001 |
Applications of Automata and Concurrency Theory in Networks (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 42-43, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Fabrizio Montesi, Carsten Schürmann 0001, Nobuko Yoshida |
Multiparty Session Types as Coherence Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 412-426, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba |
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 142-154, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Committees, External Reviewers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. i-xiv, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Raymond R. Devillers |
Synthesis of Bounded Choice-Free Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 128-141, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya, Benedikt Bollig, Paul Gastin |
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 340-353, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |
On the Succinctness of Idioms for Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 85-99, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Forward and Backward Bisimulations for Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 226-239, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 169-183, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Cerone, Giovanni Bernardi 0001, Alexey Gotsman |
A Framework for Transactional Consistency Models with Atomic Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 58-71, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 240-253, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergueï Lenglet, Alan Schmitt |
Howe's Method for Contextual Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 212-225, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 |
Lazy Probabilistic Model Checking without Determinisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 354-367, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Worrell 0001 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 17-17, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
On the Value Problem in Weighted Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 311-324, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Narges Khakpour, Mohammad Reza Mousavi 0001 |
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 18-40, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Jorge A. Pérez 0001, Nobuko Yoshida |
Characteristic Bisimulation for Higher-Order Session Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 398-411, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Guy Avni, Orna Kupferman |
Repairing Multi-Player Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 325-339, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy |
Behavioural Equivalences for Co-operating Transactions (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 41-41, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar |
Verification of Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 470-482, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 383-397, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Jean-François Raskin, Ocan Sankur |
Assume-Admissible Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 100-113, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Stéphanie Delaune, Lucca Hirschi |
Partial Order Reduction for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 497-510, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 1-16, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, David de Frutos-Escrig (eds.) |
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | César Rodríguez, Marcelo Sousa, Subodh Sharma 0001, Daniel Kroening |
Unfolding-based Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 456-469, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Jan Krcál |
On Frequency LTL in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 184-197, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Yuan Feng 0001, Ugo Dal Lago |
On Coinduction and Quantum Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 427-440, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Feng 0001, Mingsheng Ying |
Toward Automatic Verification of Quantum Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 441-455, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Guillermo A. Pérez 0001, Jean-François Raskin |
Reactive Synthesis Without Regret. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 114-127, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dana Fisman, Yoad Lustig |
A Modular Approach for Büchi Determinization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 368-382, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Julien Lange, Nobuko Yoshida |
Meeting Deadlines Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 283-296, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
Modal Logics for Nominal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 198-211, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Paul Harrenstein, Michael J. Wooldridge |
Expresiveness and Complexity Results for Strategic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 268-282, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege |
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 297-310, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Paulin Fournier, Arnaud Sangnier |
Distributed Local Strategies in Broadcast Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 44-57, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Simone Tini |
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 155-168, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Fu Song, Zhilin Wu |
On the Satisfiability of Indexed Linear Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 254-267, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Anca Muscholl, Igor Walukiewicz |
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 72-84, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
Rely/Guarantee Reasoning for Asynchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 483-496, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karin Quaas |
Verification for Timed Automata Extended with Unbounded Discrete Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 512-526, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Ichiro Hasuo |
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 451-466, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Matthew Hennessy |
Using Higher-Order Contracts to Model Session Types (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 387-401, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Chrétien, Véronique Cortier, Stéphanie Delaune |
Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 372-386, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi, Xian Xu 0001 |
Trees from Functions as Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 78-92, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee |
Qualitative Concurrent Parity Games: Bounded Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 544-559, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche |
Compositional Controller Synthesis for Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 173-187, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Feng 0001, Lijun Zhang 0001 |
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 342-356, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Alceste Scalas, Roberto Zunino |
A Semantic Deconstruction of Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 402-418, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi |
Robust Synchronization in Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 234-248, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi 0001 |
Adding Negative Prices to Priced Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 560-575, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tony Hoare |
Laws of Programming: The Algebraic Unification of Theories of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 1-6, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl |
Lost in Abstraction: Monotonicity in Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 141-155, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
Parameterized Model Checking of Rendezvous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 109-124, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur |
Probabilistic Robust Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 203-217, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Yuan Feng 0001, David S. Rosenblum, Guoxin Su |
Perturbation Analysis in Verification of Discrete-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 218-233, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
Ordered Navigation on Multi-attributed Data Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 497-511, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Falak Sher Vira, Joost-Pieter Katoen |
Tight Game Abstractions of Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 576-591, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Deterministic Negotiations: Concurrency for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 23-31, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hüchting, Rupak Majumdar, Roland Meyer 0001 |
Bounds on Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 357-371, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Jan Stückrath |
A General Framework for Well-Structured Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 467-481, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Widjaja Lin, Sanming Zhou |
A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 327-341, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|