![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/concur/concur2005.bht:"
@inproceedings{DBLP:conf/concur/Alur05, author = {Rajeev Alur}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {The Benefits of Exposing Calls and Returns}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {2--3}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_2}, doi = {10.1007/11539452\_2}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Alur05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenB05, author = {Jos C. M. Baeten and Mario Bravetti}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A Ground-Complete Axiomatization of Finite State Processes in Process Algebra}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {248--262}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_21}, doi = {10.1007/11539452\_21}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BhargavaP05, author = {Mohit Bhargava and Catuscia Palamidessi}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Probabilistic Anonymity}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {171--185}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_16}, doi = {10.1007/11539452\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BhargavaP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BouajjaniMT05, author = {Ahmed Bouajjani and Markus M{\"{u}}ller{-}Olm and Tayssir Touili}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {473--487}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_36}, doi = {10.1007/11539452\_36}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BouajjaniMT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BouyerCL05, author = {Patricia Bouyer and Franck Cassez and Fran{\c{c}}ois Laroussinie}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Modal Logics for Timed Control}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {81--94}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_10}, doi = {10.1007/11539452\_10}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BouyerCL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BradleyMS05, author = {Aaron R. Bradley and Zohar Manna and Henny B. Sipma}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Termination Analysis of Integer Linear Loops}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {488--502}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_37}, doi = {10.1007/11539452\_37}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BradleyMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Breugel05, author = {Franck van Breugel}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A Behavioural Pseudometric for Metric Labelled Transition Systems}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {141--155}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_14}, doi = {10.1007/11539452\_14}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Breugel05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BruniBFHMM05, author = {Roberto Bruni and Michael J. Butler and Carla Ferreira and C. A. R. Hoare and Hern{\'{a}}n C. Melgratti and Ugo Montanari}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Comparing Two Approaches to Compensable Flow Composition}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {383--397}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_30}, doi = {10.1007/11539452\_30}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/BruniBFHMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BruniGMS05, author = {Roberto Bruni and Fabio Gadducci and Ugo Montanari and Pawel Sobocinski}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Deriving Weak Bisimulation Congruences from Reduction Systems}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {293--307}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_24}, doi = {10.1007/11539452\_24}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BruniGMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Cardelli05, author = {Luca Cardelli}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A Compositional Approach to the Stochastic Dynamics of Gene Networks}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {4}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_3}, doi = {10.1007/11539452\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Cardelli05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/CassezDFLL05, author = {Franck Cassez and Alexandre David and Emmanuel Fleury and Kim Guldstrand Larsen and Didier Lime}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Efficient On-the-Fly Algorithms for the Analysis of Timed Games}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {66--80}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_9}, doi = {10.1007/11539452\_9}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/CassezDFLL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Chatterjee05, author = {Krishnendu Chatterjee}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Two-Player Nonzero-Sum \emph{omega}-Regular Games}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {413--427}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_32}, doi = {10.1007/11539452\_32}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Chatterjee05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DArgenioG05, author = {Pedro R. D'Argenio and Biniam Gebremichael}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {125--140}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_13}, doi = {10.1007/11539452\_13}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/DArgenioG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DanosK05, author = {Vincent Danos and Jean Krivine}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Transactions in {RCCS}}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {398--412}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_31}, doi = {10.1007/11539452\_31}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/DanosK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DemriG05, author = {St{\'{e}}phane Demri and R{\'{e}}gis Gascon}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Verification of Qualitative Constraints}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {518--532}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_39}, doi = {10.1007/11539452\_39}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/DemriG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Dima05, author = {Catalin Dima}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Timed Shuffle Expressions}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {95--109}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_11}, doi = {10.1007/11539452\_11}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Dima05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Engler05, author = {Dawson R. Engler}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Static Analysis Versus Model Checking for Bug Finding}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {1}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_1}, doi = {10.1007/11539452\_1}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Engler05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FrancalanzaH05, author = {Adrian Francalanza and Matthew Hennessy}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A Theory of System Behaviour in the Presence of Node and Link Failures}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {368--382}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_29}, doi = {10.1007/11539452\_29}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/FrancalanzaH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FroschleL05, author = {Sibylle B. Fr{\"{o}}schle and Slawomir Lasota}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Decomposition and Complexity of Hereditary History Preserving Bisimulation on {BPP}}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {263--277}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_22}, doi = {10.1007/11539452\_22}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/FroschleL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Frutos-EscrigG05, author = {David de Frutos{-}Escrig and Carlos Gregorio{-}Rodr{\'{\i}}guez}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Bisimulations Up-to for the Linear Time Branching Time Spectrum}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {278--292}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_23}, doi = {10.1007/11539452\_23}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/Frutos-EscrigG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GargP05, author = {Deepak Garg and Frank Pfenning}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Type-Directed Concurrency}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {6--20}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_5}, doi = {10.1007/11539452\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GargP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GastinK05, author = {Paul Gastin and Dietrich Kuske}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {533--547}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_40}, doi = {10.1007/11539452\_40}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GastinK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Genest05, author = {Blaise Genest}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {On Implementation of Global Concurrent Systems with Local Asynchronous Controllers}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {443--457}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_34}, doi = {10.1007/11539452\_34}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Genest05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GimbertZ05, author = {Hugo Gimbert and Wieslaw Zielonka}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Games Where You Can Play Optimally Without Any Memory}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {428--442}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_33}, doi = {10.1007/11539452\_33}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GimbertZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Glabbeek05, author = {Rob J. van Glabbeek}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {The Individual and Collective Token Interpretations of Petri Nets}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {323--337}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_26}, doi = {10.1007/11539452\_26}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Glabbeek05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GordonJ05, author = {Andrew D. Gordon and Alan Jeffrey}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {186--201}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_17}, doi = {10.1007/11539452\_17}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/GordonJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GoubaultH05, author = {Eric Goubault and Emmanuel Haucourt}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {503--517}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_38}, doi = {10.1007/11539452\_38}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GoubaultH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/HaackJ05, author = {Christian Haack and Alan Jeffrey}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Timed Spi-Calculus with Types for Secrecy and Authenticity}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {202--216}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_18}, doi = {10.1007/11539452\_18}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/HaackJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KahlerK05, author = {Detlef K{\"{a}}hler and Ralf K{\"{u}}sters}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Constraint Solving for Contract-Signing Protocols}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {233--247}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_20}, doi = {10.1007/11539452\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/KahlerK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KhomenkoKKV05, author = {Victor Khomenko and Alex Kondratyev and Maciej Koutny and Walter Vogler}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Merged Processes - {A} New Condensed Representation of Petri Net Behaviour}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {338--352}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_27}, doi = {10.1007/11539452\_27}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/KhomenkoKKV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Laird05, author = {Jim Laird}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A Game Semantics of the Asynchronous \emph{pi}-Calculus}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {51--65}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_8}, doi = {10.1007/11539452\_8}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Laird05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MargariaSSZ05, author = {Tiziana Margaria and A. Prasad Sistla and Bernhard Steffen and Lenore D. Zuck}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Taming Interface Specifications}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {548--561}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_41}, doi = {10.1007/11539452\_41}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MargariaSSZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Mazza05, author = {Damiano Mazza}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Multiport Interaction Nets and Concurrency}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {21--35}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_6}, doi = {10.1007/11539452\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Mazza05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MeydenW05, author = {Ron van der Meyden and Thomas Wilke}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Synthesis of Distributed Systems from Knowledge-Based Specifications}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {562--576}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_42}, doi = {10.1007/11539452\_42}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MeydenW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MokademBBL05, author = {Houda Bel Mokadem and B{\'{e}}atrice B{\'{e}}rard and Patricia Bouyer and Fran{\c{c}}ois Laroussinie}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {A New Modality for Almost Everywhere Properties in Timed Automata}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {110--124}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_12}, doi = {10.1007/11539452\_12}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MokademBBL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MousaviGR05, author = {Mohammad Reza Mousavi and Murdoch Gabbay and Michel A. Reniers}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {{SOS} for Higher Order Processes}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {308--322}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_25}, doi = {10.1007/11539452\_25}, timestamp = {Sat, 11 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MousaviGR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MurawskiO05, author = {Andrzej S. Murawski and Jo{\"{e}}l Ouaknine}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {On Probabilistic Program Equivalence and Refinement}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {156--170}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_15}, doi = {10.1007/11539452\_15}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MurawskiO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Papadimitriou05, author = {Christos H. Papadimitriou}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Games Other People Play}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {5}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_4}, doi = {10.1007/11539452\_4}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Papadimitriou05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/SaraswatJ05, author = {Vijay A. Saraswat and Radha Jagadeesan}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Concurrent Clustered Programming}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {353--367}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_28}, doi = {10.1007/11539452\_28}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/SaraswatJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Tiu05, author = {Alwen Fernanto Tiu}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Model Checking for \emph{pi}-Calculus Using Proof Search}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {36--50}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_7}, doi = {10.1007/11539452\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Tiu05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Truderung05, author = {Tomasz Truderung}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Selecting Theories and Recursive Protocols}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {217--232}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_19}, doi = {10.1007/11539452\_19}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/Truderung05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/VolzerVK05, author = {Hagen V{\"{o}}lzer and Daniele Varacca and Ekkart Kindler}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Defining Fairness}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {458--472}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_35}, doi = {10.1007/11539452\_35}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/VolzerVK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/2005, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452}, doi = {10.1007/11539452}, isbn = {3-540-28309-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.