Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001 |
Static Livelock Analysis in CSP. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Barbara König 0001 (eds.) |
CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001 |
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. |
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 | 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 | Ruggero Lanotte, Massimo Merro |
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. |
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 | 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 | 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 | 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 | Vineet Kahlon |
Reasoning about Threads with Bounded Lock Chains. |
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 | Farn Wang, Chung-Hao Huang, Fang Yu 0001 |
A Temporal Logic for the Interaction of Strategies. |
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 | Hans Hüttel |
Typed ψ-calculi. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Christoph Haase, Joël Ouaknine, Matthew J. Parkinson, James Worrell 0001 |
Tractable Reasoning in a Fragment of Separation Logic. |
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 | Parosh Aziz Abdulla, Yu-Fang Chen 0001, 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 | Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 |
Two Variable vs. Linear Temporal Logic in Model Checking and Games. |
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 | Chaodong He |
The Decidability of the Reachability Problem for CCS! |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hayman |
Granularity and Concurrent Separation Logic. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Kohei Honda 0001 |
Full Abstraction in a Subtyped pi-Calculus with Linear Types. |
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 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz |
A Compositional Framework for Controller Synthesis. |
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 | Eli Gafni, Rachid Guerraoui |
Generalized Universality. |
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 | Fu Song, Tayssir Touili |
Efficient CTL Model-Checking for Pushdown Systems. |
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 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
A Connector Algebra for P/T Nets Interactions. |
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 | Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Vector Addition System Reversible Reachability Problem. |
CONCUR |
2011 |
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 | Krishnendu Chatterjee, Florian Horn 0001, Christof Löding |
Obliging Games. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Frits W. Vaandrager |
Learning I/O Automata. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ming Fu, Yong Li, Xinyu Feng 0001, Zhong Shao, Yu Zhang 0086 |
Reasoning about Optimistic Concurrency Using a Program Logic for History. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera 0001, Vojtech Rehák |
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Sobocinski 0001 |
Representations of Petri Net Interactions. |
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 | 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 | Thibaut Balabonski, Emmanuel Haucourt |
A Geometric Approach to the Problem of Unique Decomposition of Processes. |
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 | Lutz Schröder, Yde Venema |
Flat Coalgebraic Fixed Point Logics. |
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 | Jochen Hoenicke, Roland Meyer 0001, Ernst-Rüdiger Olderog |
Kleene, Rabin, and Scott Are Available. |
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 | Ramaswamy Ramanujam, Sunil Easaw Simon |
A Communication Based Model for Games of Imperfect Information. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Yu-Fang Chen 0001, 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 | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
Reversing Higher-Order Pi. |
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 | Krishnendu Chatterjee, Laurent Doyen 0001, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-Payoff Automaton Expressions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig |
From Multi to Single Stack Automata. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Silvia Crafa |
A Logic for True Concurrency. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Mohamed Nabih Menaa |
On the Compositionality of Round Abstraction. |
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 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
Parameterized Verification of Ad Hoc Networks. |
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 | Laura Bocchi, Kohei Honda 0001, Emilio Tuosto, Nobuko Yoshida |
A Theory of Design-by-Contract for Distributed Multiparty Interactions. |
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 | Pierre-Malo Deniélou, Nobuko Yoshida |
Buffered Communication Analysis in Distributed Multiparty Sessions. |
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 | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
Communicating Transactions - (Extended Abstract). |
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 | Anca Muscholl |
Taming Distributed Asynchronous Systems. |
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 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Termination in Impure Concurrent Languages. |
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 | Cristian Prisacariu |
Modal Logic over Higher Dimensional Automata. |
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 | Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |
Trust in Anonymity Networks. |
CONCUR |
2010 |
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 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Howe's Method for Calculi with Passivation. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Julian C. Bradfield |
Model-Checking Games for Fixpoint Logics with Partial Order Models. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics |
1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001 |
Deriving Syntax and Axioms for Quantitative Regular Behaviours. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Planul, Ricardo Corin, Cédric Fournet |
Secure Enforcement for Global Process Specifications. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell 0001 |
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 | Roland Meyer 0001, Roberto Gorrieri |
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schmalz, Daniele Varacca, Hagen Völzer |
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. |
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 | Joël Ouaknine, Alexander Rabinovich, James Worrell 0001 |
Time-Bounded Verification. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Baudru |
Distributed Asynchronous Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Luca Padovani |
Contracts for Mobile Processes. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Maria Grazia Vigliotti |
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti |
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. |
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 | Josée Desharnais, François Laviolette, Amélie Turgeon |
A Demonic Approach to Information in Probabilistic Systems. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Calvin C. Newport, Nancy A. Lynch |
Modeling Radio Networks. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Rodríguez |
A General Testability Theory. |
CONCUR |
2009 |
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 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Probabilistic Weighted Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka |
Query-Based Model Checking of Ad Hoc Network Protocols. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Sproston |
Strict Divergence for Probabilistic Timed Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Marcus Größer |
The Effect of Tossing Coins in Omega-Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|