| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Mohsen Lesani, Victor Luchangco, Mark Moir |
A Framework for Formally Verifying Software Transactional Memory Algorithms. |
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 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Kerstan, Barbara König |
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota |
Reachability Problem for Weak Multi-Pushdown Automata. |
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 | Luca Fossati, Kohei Honda, Nobuko Yoshida |
Intensional and Extensional Characterisation of Global Progress in the π-Calculus. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Jane Hillston |
Fluid Model Checking. |
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 | Roland Meyer, Victor Khomenko, Reiner Hüchting |
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. |
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 | Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl |
Efficient Coverability Analysis by Proof Minimization. |
CONCUR |
2012 |
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 | 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 | Tzu-Chun Chen, Kohei Honda |
Specifying Stateful Asynchronous Properties for Distributed Programs. |
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 | Julien Lange, Emilio Tuosto |
Synthesising Choreographies from Local Session Types. |
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 | César Rodríguez, Stefan Schwoon |
Verification of Petri Nets with Read Arcs. |
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 | Romain Brenguier, Stefan Göller, Ocan Sankur |
A Comparison of Succinctly Represented Finite-State Systems. |
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 | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
MSO Decidability of Multi-Pushdown Systems via Split-Width. |
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 | Daniel Gebler, Wan Fokkink |
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. |
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 | Matthias Függer, Josef Widder |
Efficient Checking of Link-Reversal-Based Concurrent Systems. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Mikulski |
Algebraic Structure of Combined Traces. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Kohei Honda |
Nested Protocols in Session Types. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Randell |
A Turing Enigma. |
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 | Peter Sewell |
False Concurrency and Strange-but-True Machines - (Abstract). |
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 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Quantitative Languages Defined by Functional Automata. |
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 | Alexey Gotsman, Hongseok Yang |
Linearizability with Ownership Transfer. |
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 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
Playing Stochastic Games Precisely. |
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 | Farn Wang, Chung-Hao Huang, Fang Yu |
A Temporal Logic for the Interaction of Strategies. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Arya Adriansyah, Boudewijn F. van Dongen |
Causal Nets: A Modeling Language Tailored towards Process Discovery. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hayman |
Granularity and Concurrent Separation Logic. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák |
Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
Static Livelock Analysis in CSP. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Anthony Widjaja Lin |
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro |
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Rastislav Lenhardt, James Worrell |
Two Variable vs. Linear Temporal Logic in Model Checking and Games. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Song, Lijun Zhang 0001, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Kahlon |
Reasoning about Threads with Bounded Lock Chains. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Kohei Honda |
Full Abstraction in a Subtyped pi-Calculus with Linear Types. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Controlling Reversibility in Higher-Order Pi. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Leroux |
Vector Addition System Reversible Reachability Problem. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joachim Klein, Sascha Klüppelholz |
A Compositional Framework for Controller Synthesis. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig |
An Automaton over Data Words That Captures EMSO Logic. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh K. Pandya, Simoni S. Shah |
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Barbara König (eds.) |
CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane |
Timed Automata Can Always Be Made Implementable. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaodong He |
The Decidability of the Reachability Problem for CCS! |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Carrying Probabilities to the Infinite World. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke |
On Causal Semantics of Petri Nets. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar |
Advanced Ramsey-Based Büchi Automata Inclusion Testing. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
Dynamic Reactive Modules. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Hüttel |
Typed ψ-calculi. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | César Rodríguez, Stefan Schwoon, Paolo Baldan |
Efficient Contextual Unfolding. |
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 |
|
| 1 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota |
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
A Connector Algebra for P/T Nets Interactions. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Praveen, Kamal Lodaya |
Parameterized Complexity Results for 1-safe Petri Nets. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell |
Tractable Reasoning in a Fragment of Separation Logic. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ummels, Dominik Wojtczak |
The Complexity of Nash Equilibria in Limit-Average Games. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Gafni, Rachid Guerraoui |
Generalized Universality. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kuhtz, Bernd Finkbeiner |
Weak Kripke Structures and LTL. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fu Song, Tayssir Touili |
Efficient CTL Model-Checking for Pushdown Systems. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth |
On Locality and the Exchange Law for Concurrent Processes. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Margherita Napoli |
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan |
Coarse Abstractions Make Zeno Behaviours Difficult to Detect. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Florian Horn, Christof Löding |
Obliging Games. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine |
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Sunil Easaw Simon |
A Communication Based Model for Games of Imperfect Information. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim A. C. Willemse |
Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang |
Reasoning about Optimistic Concurrency Using a Program Logic for History. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
A Theory of Design-by-Contract for Distributed Multiparty Interactions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski |
Representations of Petri Net Interactions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Frank Pfenning |
Session Types as Intuitionistic Linear Propositions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala, Andrea Turrini |
Conditional Automata: A Tool for Safe Removal of Negligible Events. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |
Trust in Anonymity Networks. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Böhm, Stefan Göller, Petr Jancar |
Bisimilarity of One-Counter Processes Is PSPACE-Complete. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Buffered Communication Analysis in Distributed Multiparty Sessions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Mohamed N. Menaa |
On the Compositionality of Round Abstraction. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, François Laroussinie (eds.) |
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eisentraut, Holger Hermanns, Lijun Zhang 0001 |
Concurrency and Composition in a Stochastic World. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Silvia Crafa |
A Logic for True Concurrency. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk |
Session Types for Access and Information Flow Control. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Durand-Gasselin, Peter Habermehl |
On the Use of Non-deterministic Automata for Presburger Arithmetic. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Balabonski, Emmanuel Haucourt |
A Geometric Approach to the Problem of Unique Decomposition of Processes. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Termination in Impure Concurrent Languages. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-Payoff Automaton Expressions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Giunti, Vasco Thudichum Vasconcelos |
A Linear Account of Session Types in the Pi Calculus. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl |
Taming Distributed Asynchronous Systems. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")