Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur2005.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-27 15:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
