| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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, 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 |
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 |
|
| 1 | Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog |
Kleene, Rabin, and Scott Are Available. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Romain Brenguier, Nicolas Markey |
Nash Equilibria for Reachability Objectives in Multi-player Timed Games. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Information Flow in Interactive Systems. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
Parameterized Verification of Ad Hoc Networks. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen |
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo |
Generic Forward and Backward Simulations II: Probabilistic Simulation. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxi Fu |
Theory by Process. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Yde Venema |
Flat Coalgebraic Fixed Point Logics. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa |
Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Clemente, Richard Mayr |
Multipebble Simulations for Alternating Automata - (Extended Abstract). |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig |
From Multi to Single Stack Automata. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fides Aarts, Frits W. Vaandrager |
Learning I/O Automata. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
Communicating Transactions - (Extended Abstract). |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák |
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Prisacariu |
Modal Logic over Higher Dimensional Automata. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy |
Applications of Shellable Complexes to Distributed Computing - (Invited Talk). |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Simulation Distances. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
Reversing Higher-Order Pi. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault |
Measuring Permissivity in Finite Games. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Marcus Größer |
The Effect of Tossing Coins in Omega-Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Baudru |
Distributed Asynchronous Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
Concurrent Kleene Algebra. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Power of Randomization in Automata on Infinite Strings. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, C.-H. Luke Ong |
Winning Regions of Pushdown Parity Games: A Saturation Method. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
A Logic-Based Framework for Reasoning about Composite Data Structures. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Kuijper, Jaco van de Pol |
Compositional Control Synthesis for Partially Observable Systems. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
Concavely-Priced Probabilistic Timed Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Discretization Approach. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell |
Reachability in Succinct and Parametric One-Counter Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
Encoding Asynchronous Interactions Using Open Petri Nets. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous calculi, open Petri nets, decidability, bisimilarity |
| 1 | Joël Ouaknine, Alexander Rabinovich, James Worrell |
Time-Bounded Verification. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia, Alessandro Romanel |
BlenX Static and Dynamic Semantics. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Almeida Matos |
Flow Policy Awareness for Distributed Mobile Code. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro (eds.) |
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ranzato, Francesco Tapparo |
Computing Stuttering Simulations. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Alain Reynier, Arnaud Sangnier |
Weak Time Petri Nets Strike Back!. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Tomasz Idziaszek |
Algebra for Infinite Forests with an Application to the Temporal Logic EF. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon |
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Tim Harris |
Perspectives on Transactional Memory. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")