default search action

combined dblp search
author search
venue search
publication search

ask others

20th CONCUR 2009: Bologna, Italy

> Home > Conferences and Workshops > CONCUR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/concur/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2009
Mario Bravetti, Gianluigi Zavattaro:
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, ISBN 978-3-642-04080-1

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbadiH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbadiH09
Martín Abadi, Tim Harris:
Perspectives on Transactional Memory. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BaierBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BaierBG09
Christel Baier, Nathalie Bertrand, Marcus Größer:
The Effect of Tossing Coins in Omega-Automata. 15-29
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Milner09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Milner09
Robin Milner:
Bigraphical Categories. 30-36
- view
  authority control:
- export record
  dblp key:
  - conf/concur/PriamiQR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/PriamiQR09
Corrado Priami, Paola Quaglia, Alessandro Romanel:
BlenX Static and Dynamic Semantics. 37-52

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/concur/Matos09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Matos09
Ana Almeida Matos:
Flow Policy Awareness for Distributed Mobile Code. 53-68
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AsarinD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AsarinD09
Eugene Asarin, Aldric Degorre:
Volume and Entropy of Regular Timed Languages: Discretization Approach. 69-83
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BakelV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BakelV09
Steffen van Bakel, Maria Grazia Vigliotti:
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. 84-98
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BaldanBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BaldanBG09
Paolo Baldan, Filippo Bonchi, Fabio Gadducci:
Encoding Asynchronous Interactions Using Open Petri Nets. 99-114
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Baudru09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Baudru09
Nicolas Baudru:
Distributed Asynchronous Automata. 115-130
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BojanczykI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BojanczykI09
Mikolaj Bojanczyk, Tomasz Idziaszek:
Algebra for Infinite Forests with an Application to the Temporal Logic EF. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BonchiBRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BonchiBRS09
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours. 146-162
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Boreale09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Boreale09
Michele Boreale:
Weighted Bisimulation in Linear Algebraic Form. 163-177
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BouajjaniDES09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BouajjaniDES09
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu:
A Logic-Based Framework for Reasoning about Composite Data Structures. 178-195
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BouyerDMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BouyerDMR09
Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault:
Measuring Permissivity in Finite Games. 196-210
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CastagnaP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CastagnaP09
Giuseppe Castagna, Luca Padovani:
Contracts for Mobile Processes. 211-228
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChadhaSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChadhaSV09
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. 229-243
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. 244-258
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CzerwinskiFL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CzerwinskiFL09
Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota:
Partially-Commutative Context-Free Processes. 259-273
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DengGHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DengGHM09
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Testing Finitary Probabilistic Processes. 274-288
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DesharnaisLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DesharnaisLT09
Josée Desharnais, François Laviolette, Amélie Turgeon:
A Demonic Approach to Information in Probabilistic Systems. 289-304
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GalpinBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GalpinBH09
Vashti Galpin, Luca Bortolussi, Jane Hillston:
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. 305-320
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GarnerHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GarnerHP09
Richard Garner, Tom Hirschowitz, Aurélien Pardon:
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. 321-337
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GiroDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GiroDF09
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti:
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. 338-353
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GutierrezB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GutierrezB09
Julian Gutierrez, Julian C. Bradfield:
Model-Checking Games for Fixpoint Logics with Partial Order Models. 354-368
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HaaseKOW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HaaseKOW09
Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell:
Reachability in Succinct and Parametric One-Counter Automata. 369-383
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HagueO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HagueO09
Matthew Hague, C.-H. Luke Ong:
Winning Regions of Pushdown Parity Games: A Saturation Method. 384-398
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HoareMSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HoareMSW09
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra. 399-414
- view
  authority control:
- export record
  dblp key:
  - conf/concur/JurdzinskiKNT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/JurdzinskiKNT09
Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Concavely-Priced Probabilistic Timed Automata. 415-430
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KuijperP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KuijperP09
Wouter Kuijper, Jaco van de Pol:
Compositional Control Synthesis for Partially Observable Systems. 431-447
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LengletSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LengletSS09
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani:
Howe's Method for Calculi with Passivation. 448-462
- view
  authority control:
- export record
  dblp key:
  - conf/concur/MeyerG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MeyerG09
Roland Meyer, Roberto Gorrieri:
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. 463-480
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NewportL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NewportL09
Calvin C. Newport, Nancy A. Lynch:
Modeling Radio Networks. 481-495
- view
  authority control:
- export record
  dblp key:
  - conf/concur/OuaknineRW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/OuaknineRW09
Joël Ouaknine, Alexander Rabinovich, James Worrell:
Time-Bounded Verification. 496-510
- view
  authority control:
- export record
  dblp key:
  - conf/concur/PlanulCF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/PlanulCF09
Jérémy Planul, Ricardo Corin, Cédric Fournet:
Secure Enforcement for Global Process Specifications. 511-526
- view
  authority control:
- export record
  dblp key:
  - conf/concur/PrabhakarMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/PrabhakarMV09
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan:
On Convergence of Concurrent Systems under Regular Interactions. 527-541
- view
  authority control:
- export record
  dblp key:
  - conf/concur/RanzatoT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/RanzatoT09
Francesco Ranzato, Francesco Tapparo:
Computing Stuttering Simulations. 542-556
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ReynierS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ReynierS09
Pierre-Alain Reynier, Arnaud Sangnier:
Weak Time Petri Nets Strike Back!. 557-571
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Rodriguez09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Rodriguez09
Ismael Rodríguez:
A General Testability Theory. 572-586
- view
  authority control:
- export record
  dblp key:
  - conf/concur/SchmalzVV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/SchmalzVV09
Matthias Schmalz, Daniele Varacca, Hagen Völzer:
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. 587-602
- view
  authority control:
- export record
  dblp key:
  - conf/concur/SinghRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/SinghRS09
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
Query-Based Model Checking of Ad Hoc Network Protocols. 603-619
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Sproston09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Sproston09
Jeremy Sproston:
Strict Divergence for Probabilistic Timed Automata. 620-636

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.