Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel |
Averaging in LTL. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Naoki Kobayashi 0001, Cosimo Laneve |
Deadlock Analysis of Unbounded Process Networks. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Madiot, Damien Pous, Davide Sangiorgi |
Bisimulations Up-to: Beyond First-Order Transition Systems. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yangjia Li, Mingsheng Ying |
(Un)decidable Problems about Reachability of Quantum Systems. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Daniel Gebler, Catuscia Palamidessi, Lili Xu |
Generalized Bisimulation Metrics. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston |
The Benefits of Sometimes Not Being Discrete. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Weizhen Yang, Nobuko Yoshida |
Timed Multiparty Session Types. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
Controllers for the Verification of Communicating Multi-pushdown Systems. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Daniele Gorla (eds.) |
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Pawel Sobocinski 0001, Fabio Zanasi |
A Categorical Semantics of Signal Flow Graphs. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Fabrizio Montesi, Carsten Schürmann 0001 |
Choreographies, Logically. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhide Yasukata, Naoki Kobayashi 0001, Kazutaka Matsuda |
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Igor Konnov 0001, Helmut Veith, Josef Widder |
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004 |
Reducing Clocks in Timed Automata while Preserving Bisimulation. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre |
Decidable Topologies for Communicating Automata with FIFO and Bag Channels. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Simon Laursen, Jirí Srba |
Synchronizing Strategies under Partial Observability. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Jan Krcál, Jan Kretínský |
Probabilistic Bisimulation: Naturally on Distributions. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guy Avni, Orna Kupferman |
Synthesis from Component Libraries with Costs. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay |
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0002, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn 0001, Florian Haupenthal, Michael Jacobs 0002, Amir H. Moin, Jan Reineke 0001, Bernhard Schommer, Reinhard Wilhelm |
Impact of Resource Sharing on Performance and Performance Prediction: A Survey. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
Satisfiability of CTL* with Constraints. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Kochems, C.-H. Luke Ong |
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
Robust Controller Synthesis in Timed Automata. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongjin Liang 0001, Jan Hoffmann 0002, Xinyu Feng 0001, Zhong Shao |
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Montesi, Nobuko Yoshida |
Compositional Choreographies. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi 0001 |
Modular Semantics for Transition System Specifications with Negative Premises. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer |
Thermodynamic Graph-Rewriting. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Jörg Desel |
On Negotiation as Concurrency Primitive. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Glynn Winskel |
Borel Determinacy of Concurrent Games. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shenggang Ying, Yuan Feng 0001, Nengkun Yu, Mingsheng Ying |
Reachability Probabilities of Quantum Markov Chains. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jan Otop |
From Model Checking to Model Measuring. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Schmitz, Philippe Schnoebelen |
The Power of Well-Structured Systems. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Klaus von Gleissenthall, Andrey Rybalchenko |
An Epistemic Perspective on Consistency of Concurrent Computations. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shoham Ben-David, Marsha Chechik, Sebastián Uchitel |
Merging Partial Behaviour Models with Different Vocabularies. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hüchting, Rupak Majumdar, Roland Meyer 0001 |
A Theory of Name Boundedness. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen |
A Faster Algorithm for Solving One-Clock Priced Timed Games. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen |
Concurrency Meets Probability: Theory and Practice - (Abstract). |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Dorman, Damiano Mazza |
A Hierarchy of Expressiveness in Concurrent Interaction Nets. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Hernán C. Melgratti (eds.) |
CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Iain Phillips 0001, Irek Ulidowski |
Reversibility and Asymmetric Conflict in Event Structures. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen |
The Power of Priority Channel Systems. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Alvisi, Edmund L. Wong |
Reasoning with MAD Distributed Systems. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Andrea Turrini |
Cost Preserving Bisimulations for Probabilistic Automata. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Zilong Wang 0004 |
Expand, Enlarge, and Check for Branching Vector Addition Systems. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Jan Krcál, Jan Kretínský |
Compositional Verification and Optimization of Interactive Markov Chains. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
Solving Parity Games on Integer Vectors. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, M. Praveen, Grégoire Sutre |
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Matthew Hennessy |
Mutually Testing Processes - (Extended Abstract). |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Nobuko Yoshida |
Globally Governed Session Semantics. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Carlos Olarte, Elaine Pimentel |
A General Proof System for Modalities in Concurrent Constraint Programming. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
Proof Graphs for Parameterised Boolean Equation Systems. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis |
Aspect-Oriented Linearizability Proofs. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vasileios Koutavas, Matthew Hennessy |
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract). |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Yaron Velner |
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vijay D'Silva |
Generalizing Simulation to Abstract Domains. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojuan Cai, Mizuhito Ogawa |
Well-Structured Pushdown Systems. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Kupriyanov, Bernd Finkbeiner |
Causality-Based Verification of Multi-threaded Programs. |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
Concurrent Games on VASS with Inhibition. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Kohei Honda 0001 |
Nested Protocols in Session Types. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roland Meyer 0001, Victor Khomenko, Reiner Hüchting |
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen, Kohei Honda 0001 |
Specifying Stateful Asynchronous Properties for Distributed Programs. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia |
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin |
Concurrency and the Algebraic Theory of Effects - (Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl |
Efficient Coverability Analysis by Proof Minimization. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
Duality and i/o-Types in the π-Calculus. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi 0001, Michael Ummels |
Playing Stochastic Games Precisely. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sandie Balaguer, Thomas Chatain |
Avoiding Shared Clocks in Networks of Timed Automata. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roy Mennicke |
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | César Rodríguez, Stefan Schwoon |
Verification of Petri Nets with Read Arcs. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Lesani, Victor Luchangco, Mark Moir |
A Framework for Formally Verifying Software Transactional Memory Algorithms. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari |
All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
Turing Meets Milner. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Quantitative Languages Defined by Functional Automata. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guy Avni, Orna Kupferman |
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ryszard Janicki, Xiang Yin, Nadezhda Zubkova |
Modeling Interval Order Structures with Partially Commutative Monoids. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nengkun Yu, Mingsheng Ying |
Reachability and Termination Analysis of Concurrent Quantum Programs. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Faranak Heidarian, Frits W. Vaandrager |
A Theory of History Dependent Abstractions for Learning Interface Automata. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Wan J. Fokkink |
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julien Lange, Emilio Tuosto |
Synthesising Choreographies from Local Session Types. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston |
Fluid Model Checking. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga |
Efficient Modelling and Generation of Markov Automata. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Fossati, Kohei Honda 0001, Nobuko Yoshida |
Intensional and Extensional Characterisation of Global Progress in the π-Calculus. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
Decidability Problems for Actor Systems. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
False Concurrency and Strange-but-True Machines - (Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Max Tschaikowski, Mirco Tribastone |
Exact Fluid Lumpability for Markovian Process Algebra. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001 |
Reachability Problem for Weak Multi-Pushdown Automata. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
MSO Decidability of Multi-Pushdown Systems via Split-Width. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Henning Kerstan, Barbara König 0001 |
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Mikulski |
Algebraic Structure of Combined Traces. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Gotsman, Hongseok Yang |
Linearizability with Ownership Transfer. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin |
Strategy Synthesis for Multi-Dimensional Quantitative Objectives. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Koutny, Irek Ulidowski (eds.) |
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brian Randell |
A Turing Enigma. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Függer, Josef Widder |
Efficient Checking of Link-Reversal-Based Concurrent Systems. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Stefan Göller, Ocan Sankur |
A Comparison of Succinctly Represented Finite-State Systems. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kuhtz, Bernd Finkbeiner |
Weak Kripke Structures and LTL. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla |
Carrying Probabilities to the Infinite World. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Crafa, Francesco Ranzato |
A Spectrum of Behavioral Relations over LTSs on Probability Distributions. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|