Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mikolaj Bojanczyk, Tomasz Idziaszek |
Algebra for Infinite Forests with an Application to the Temporal Logic EF. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Bigraphical Categories. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
bigraph, ubiquitous computing, process, category |
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Power of Randomization in Automata on Infinite Strings. |
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 | Martín Abadi, Tim Harris 0001 |
Perspectives on Transactional Memory. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Francesco Tapparo |
Computing Stuttering Simulations. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ana Almeida Matos |
Flow Policy Awareness for Distributed Mobile Code. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
Testing Finitary Probabilistic Processes. |
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 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Discretization Approach. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Richard Garner, Tom Hirschowitz, Aurélien Pardon |
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vashti Galpin, Luca Bortolussi, Jane Hillston |
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. |
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 | Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001 |
Partially-Commutative Context-Free Processes. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan 0001 |
On Convergence of Concurrent Systems under Regular Interactions. |
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 | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 |
Concavely-Priced Probabilistic Timed Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Gorla |
Towards a Unified Approach to Encodability and Separation Results for Process Calculi. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Simona Orzan, Tim A. C. Willemse |
Invariants for Parameterised Boolean Equation Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Morin |
Semantics of Deterministic Shared-Memory Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Kohei Honda 0001, Nobuko Yoshida |
Structured Interactional Exceptions in Session Types. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Julian Rathke, Pawel Sobocinski 0001 |
Deriving Structural Labelled Transitions for Mobile Ambients. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Harmen Kastenberg, Arend Rensink |
Dynamic Partial Order Reduction Using Probe Sets. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sjoerd Cranen, Mohammad Reza Mousavi 0001, Michel A. Reniers |
A Rule Format for Associativity. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Sangram Raje |
Strategy Construction for Parity Games with Imperfect Information. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pepijn Crouzen, Holger Hermanns, Lijun Zhang 0001 |
On the Minimisation of Acyclic Models. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Lozes, Jules Villard |
A Spatial Equational Logic for the Applied pi-Calculus. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
Global Progress in Dynamically Interleaved Multiparty Sessions. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Søren Debois, Thomas T. Hildebrandt |
On the Construction of Sorted Reactive Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001 |
R-Automata. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König 0001 |
Unfolding-Based Diagnosis of Systems with an Evolving Topology. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
Quasi-Static Scheduling of Communicating Tasks. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Tim Harris 0001, Katherine F. Moore |
A Model of Dynamic Separation for Transactional Memory. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Acciai, Michele Boreale |
Spatial and Behavioral Types in the Pi-Calculus. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
behavioural type systems, pi-calculus, spatial logic |
1 | Rohit Chadha, Mahesh Viswanathan 0001, Ramesh Viswanathan |
Least Upper Bounds for Probability Measures and Their Applications to Abstractions. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Contract-Directed Synthesis of Simple Orchestrators. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Franck van Breugel, Marsha Chechik (eds.) |
CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Chambart, Philippe Schnoebelen |
Mixing Lossy and Perfect Fifo Channels. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Abstraction for Stochastic Systems by Erlang's Method of Stages. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar, Martin Kot, Zdenek Sawa |
Normed BPA vs. Normed BPP Revisited. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
Basic Process Algebra, Basic Parallel Processes, verification, equivalence checking, bisimulation equivalence |
1 | Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg |
A Context-Free Process as a Pushdown Automaton. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shaz Qadeer |
Taming Concurrency: A Program Verification Perspective. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Zavattaro, Luca Cardelli |
Termination Problems in Chemical Kinetics. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan |
Service Choreography and Orchestration with Conversations. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, Marko Vukolic |
A Scalable and Oblivious Atomicity Assertion. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden |
Knowledge and Information in Probabilistic Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern |
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Simon Bliudze, Joseph Sifakis |
A Notion of Glue Expressiveness for Component-Based Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Completeness and Nondeterminism in Model Checking Transactional Memories. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001 |
A Space-Efficient Probabilistic Simulation Algorithm. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Distributed Timed Automata with Independently Evolving Clocks. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
On the Reachability Analysis of Acyclic Networks of Pushdown Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Dräger, Bernd Finkbeiner |
Subsequence Invariants. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Environment Assumptions for Synthesis. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Samuel Mimram |
Asynchronous Games: Innocence Without Alternation. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Models for Reactive Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
On Modal Refinement and Consistency. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Temporal Antecedent Failure: Refining Vacuity. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL |
1 | Luigi Santocanale |
A Nice Labelling for Tree-Like Event Structures of Degree 3. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Olivier Laurent 0001 |
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir |
The Saga of the Axiomatization of Parallel Composition. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Madhavan Mukund, K. Narayan Kumar |
Checking Coverage for Infinite Collections of Timed Scenarios. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Mahesh Viswanathan 0001 |
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Strategy Logic. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Vasco Thudichum Vasconcelos (eds.) |
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
Compositional Event Structure Semantics for the Internal pi -Calculus. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli |
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fred B. Schneider |
Mapping the Security Landscape: A Role for Language Techniques. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange |
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang |
Causal Message Sequence Charts. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Vojtech Forejt |
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bow-Yaw Wang |
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Versari, Nadia Busi, Roberto Gorrieri |
On the Expressive Power of Global and Local Priority in Process Calculi. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grohmann, Marino Miculan |
Reactive Systems over Directed Bigraphs. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin R. Neuhäußer, Joost-Pieter Katoen |
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
Rule-Based Modelling of Cellular Signalling. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby |
Timed Concurrent Game Structures. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
Fair Cooperative Multithreading. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mendler, Gerald Lüttgen |
Is Observational Congruence Axiomatisable in Equational Horn Logic? |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Luca Padovani |
The Must Preorder Revisited. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Vafeiadis, Matthew J. Parkinson |
A Marriage of Rely/Guarantee and Separation Logic. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Hym |
Mobility Control Via Passports. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
control of agent migrations, distributed computation, process calculus, observational equivalence |
1 | Luca de Alfaro, Pritam Roy |
Solving Games Via Three-Valued Abstraction Refinement. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
Pushdown Module Checking with Imperfect Information. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Making Random Choices Invisible to the Scheduler. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lammich, Markus Müller-Olm |
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
Topology-Dependent Abstractions of Broadcast Networks. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
A New Type System for Deadlock-Free Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Wan J. Fokkink |
On Finite Alphabets and Infinite Bases III: Simulation. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Avik Chaudhuri |
Dynamic Access Control in a Concurrent Object Calculus. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Ahmed Rezine, Mayank Saksena |
Proving Liveness by Backwards Reachability. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo |
Generic Forward and Backward Simulations. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Sarai Sheinvald-Faragy |
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Olga Grinchtein, Bengt Jonsson 0001, Paul Pettersson |
Inference of Event-Recording Automata Using Timed Decision Trees. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
Some Remarks on Definability of Process Graphs. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001 |
Minimization, Learning, and Conformance Testing of Boolean Programs. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|