Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tachio Terauchi, Alex Aiken |
A Capability Calculus for Concurrency and Determinism. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier |
Controller Synthesis for MTL Specifications. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek, Marc Voorhoeve |
Liveness, Fairness and Impossible Futures. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Segala |
Probability and Nondeterminism in Operational Models of Concurrency. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Checking a Mutex Algorithm in a Process Algebra with Fairness. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Event Structure Semantics for Nominal Calculi. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
Concurrent Rewriting for Graphs with Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics |
1 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Colin Stirling |
Second-Order Simple Grammars. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Søren Debois, Thomas T. Hildebrandt |
Sortings for Reactive Systems. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
Encoding CDuce in the Cpi-Calculus. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojun Liu 0001, Eleftherios Matsikoudis, Edward A. Lee |
Modeling Timed Concurrent Systems. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001 |
Reachability in Recursive Markov Decision Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Strategy Improvement for Stochastic Rabin and Streett Games. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse |
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Kitchin, William R. Cook, Jayadev Misra |
A Language for Task Orchestration and Its Semantic Properties. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
Probabilistic I/O Automata: Theories of Two Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations |
1 | Uwe Nestmann |
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Transition Systems of Elementary Net Systems with Localities. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Henri Hansen, Antti Valmari |
Operational Determinism and Fast Algorithms. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Holger Hermanns (eds.) |
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink |
Model Checking Quantified Computation Tree Logic. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
On Interleaving in Timed Automata. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe, Markus Roggenbach |
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
Weak Bisimulation Up to Elaboration. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman |
Sanity Checks in Formal Verification. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gastin, Dietrich Kuske |
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee |
Two-Player Nonzero-Sum omega-Regular Games. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Luca de Alfaro (eds.) |
CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur |
The Benefits of Exposing Calls and Returns. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden, Thomas Wilke |
Synthesis of Distributed Systems from Knowledge-Based Specifications. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christian Haack, Alan Jeffrey |
Timed Spi-Calculus with Types for Secrecy and Authenticity. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski 0001 |
Deriving Weak Bisimulation Congruences from Reduction Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
Termination Analysis of Integer Linear Loops. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Bisimulations Up-to for the Linear Time Branching Time Spectrum. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alwen Fernanto Tiu |
Model Checking for pi-Calculus Using Proof Search. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Biniam Gebremichael |
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
Merged Processes - A New Condensed Representation of Petri Net Behaviour. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Régis Gascon |
Verification of Qualitative Constraints. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Joël Ouaknine |
On Probabilistic Program Equivalence and Refinement. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
A New Modality for Almost Everywhere Properties in Timed Automata. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mohit Bhargava, Catuscia Palamidessi |
Probabilistic Anonymity. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli |
A Compositional Approach to the Stochastic Dynamics of Gene Networks. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Franck van Breugel |
A Behavioural Pseudometric for Metric Labelled Transition Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christos H. Papadimitriou |
Games Other People Play. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers |
SOS for Higher Order Processes. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics |
1 | Detlef Kähler, Ralf Küsters |
Constraint Solving for Contract-Signing Protocols. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jean Krivine |
Transactions in RCCS. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Mario Bravetti |
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Truderung |
Selecting Theories and Recursive Protocols. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Emmanuel Haucourt |
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza |
Multiport Interaction Nets and Concurrency. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
Taming Interface Specifications. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Alan Jeffrey |
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vijay A. Saraswat, Radha Jagadeesan |
Concurrent Clustered Programming. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dawson R. Engler |
Static Analysis Versus Model Checking for Bug Finding. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Francalanza, Matthew Hennessy |
A Theory of System Behaviour in the Presence of Node and Link Failures. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jim Laird |
A Game Semantics of the Asynchronous pi-Calculus. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dima |
Timed Shuffle Expressions. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
The Individual and Collective Token Interpretations of Petri Nets. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hagen Völzer, Daniele Varacca, Ekkart Kindler |
Defining Fairness. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Franck Cassez, François Laroussinie |
Modal Logics for Timed Control. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Garg 0001, Frank Pfenning |
Type-Directed Concurrency. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Gimbert, Wieslaw Zielonka |
Games Where You Can Play Optimally Without Any Memory. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Blaise Genest |
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili |
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Michael J. Butler, Carla Ferreira 0001, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari |
Comparing Two Approaches to Compensable Flow Composition. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Qin Ma 0002, Luc Maranget |
Compiling Pattern Matching in Join-Patterns. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Silvano Dal-Zilio |
Resource Control for Synchronous Cooperative Threads. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner, Nobuko Yoshida (eds.) |
CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely |
µABC: A Minimal Aspect Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Tim A. C. Willemse |
Parameterised Boolean Equation Systems (Extended Abstract). |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Baudru, Rémi Morin |
The Pros and Cons of Netcharts. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
Extended Process Rewrite Systems: Expressiveness and Reachability. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Varacca, Hagen Völzer, Glynn Winskel |
Probabilistic Event Structures and Domains. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Martin Leucker |
Message-Passing Automata Are Expressively Equivalent to EMSO Logic. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jean Krivine |
Reversible Communicating Systems. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Tabuada |
Open Maps, Alternating Simulations and Control Synthesis. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Dario Colazzo, Silvia Crafa |
Type Based Discretionary Access Control. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berger 0001 |
Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Étienne Lozes |
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay |
Session Types for Functional Multithreading. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
static typechecking, specification of communication protocols, concurrent programming, Session types |
1 | Mikolaj Bojanczyk, Igor Walukiewicz |
Characterizing EF and EX Tree Logics. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
Verification by Network Decomposition. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Viswanathan 0001, Ramesh Viswanathan |
A Higher Order Modal Fixed Point Logic. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie 0001 |
Zing: Exploiting Program Structure for Model Checking Concurrent Software. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
Model Checking Timed Automata with One or Two Clocks. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Grégoire Sutre |
On Flatness for 2-Dimensional Vector Addition Systems with States. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Markey, Jean-François Raskin |
Model Checking Restricted Sets of Timed Paths. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hirschkoff |
An Extensional Spatial Logic for Mobile Processes. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes |
A Semantics for Concurrent Separation Logic. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi 0001 |
Timed vs. Time-Triggered Automata. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Sébastien Briais, Uwe Nestmann |
Symbolic Bisimulation in the Spi Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Asynchronous Games 2: The True Concurrency of Innocence. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Kucera 0001, Philippe Schnoebelen |
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea, Dirk Pattinson |
Modular Construction of Modal Logics. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Liana Bozga, Cristian Ene, Yassine Lakhnech |
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001 |
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|