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/concur2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/Alfaro03,
author = {Luca de Alfaro},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Quantitative Verification and Control via the Mu-Calculus},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {102--126},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_7},
doi = {10.1007/978-3-540-45187-7\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Alfaro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroFHMS03,
author = {Luca de Alfaro and
Marco Faella and
Thomas A. Henzinger and
Rupak Majumdar and
Mari{\"{e}}lle Stoelinga},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {The Element of Surprise in Timed Games},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {142--156},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_9},
doi = {10.1007/978-3-540-45187-7\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroFHMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCEGY03,
author = {Rajeev Alur and
Swarat Chaudhuri and
Kousha Etessami and
Sudipto Guha and
Mihalis Yannakakis},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Compression of Partially Ordered Strings},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {42--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_3},
doi = {10.1007/978-3-540-45187-7\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCEGY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurTM03,
author = {Rajeev Alur and
Salvatore La Torre and
P. Madhusudan},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Playing Games with Boxes and Diamonds},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {127--141},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_8},
doi = {10.1007/978-3-540-45187-7\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurTM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AmlaENT03,
author = {Nina Amla and
E. Allen Emerson and
Kedar S. Namjoshi and
Richard J. Trefler},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Abstract Patterns of Compositional Reasoning},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {423--438},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_28},
doi = {10.1007/978-3-540-45187-7\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AmlaENT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Backes03,
author = {Michael Backes},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Unifying Simulatability Definitions in Cryptographic Systems under
Different Timing Assumptions},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {346--360},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_23},
doi = {10.1007/978-3-540-45187-7\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Backes03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaierHKW03,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen and
Verena Wolf},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Comparative Branching-Time Semantics},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {482--497},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_32},
doi = {10.1007/978-3-540-45187-7\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaierHKW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BenvenisteHFJ03,
author = {Albert Benveniste and
Stefan Haar and
Eric Fabre and
Claude Jard},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Distributed Monitoring of Concurrent and Asynchronous Systems},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {1--26},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_1},
doi = {10.1007/978-3-540-45187-7\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BenvenisteHFJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniHV03,
author = {Ahmed Bouajjani and
Peter Habermehl and
Tom{\'{a}}s Vojnar},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Verification of Parametric Concurrent Systems with Prioritized {FIFO}
Resource Management},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {172--187},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_11},
doi = {10.1007/978-3-540-45187-7\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniHV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChadhaMSS03,
author = {Rohit Chadha and
John C. Mitchell and
Andre Scedrov and
Vitaly Shmatikov},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Contract Signing, Optimism, and Advantage},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {361--377},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_24},
doi = {10.1007/978-3-540-45187-7\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChadhaMSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CorradiniBV03,
author = {Flavio Corradini and
Maria Rita Di Berardini and
Walter Vogler},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Relating Fairness and Timing in Process Algebras},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {438--452},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_29},
doi = {10.1007/978-3-540-45187-7\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CorradiniBV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DanosDP03,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais and
Prakash Panangaden},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Conditional Expectation and the Approximation of Labelled Markov Processes},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {468--482},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_31},
doi = {10.1007/978-3-540-45187-7\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DanosDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GardnerLW03,
author = {Philippa Gardner and
Cosimo Laneve and
Lucian Wischik},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Linear Forwarders},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {408--422},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_27},
doi = {10.1007/978-3-540-45187-7\_27},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GardnerLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GastinK03,
author = {Paul Gastin and
Dietrich Kuske},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Satisfiability and Model Checking for MSO-definable Temporal Logics
are in {PSPACE}},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {218--232},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_15},
doi = {10.1007/978-3-540-45187-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GastinK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GenestHM03,
author = {Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Anca Muscholl},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {High-Level Message Sequence Charts and Projections},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {308--322},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_21},
doi = {10.1007/978-3-540-45187-7\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GenestHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekV03,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Bundle Event Structures and {CCSP}},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {57--71},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_4},
doi = {10.1007/978-3-540-45187-7\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GlabbeekV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GurfinkelC03,
author = {Arie Gurfinkel and
Marsha Chechik},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Multi-Valued Model Checking via Classical Model Checking},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {263--277},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_18},
doi = {10.1007/978-3-540-45187-7\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GurfinkelC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarKM03,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Deciding Bisimilarity between {BPA} and {BPP} Processes},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {157--171},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_10},
doi = {10.1007/978-3-540-45187-7\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KlinS03,
author = {Bartek Klin and
Pawel Sobocinski},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Syntactic Formats for Free},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {72--86},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_5},
doi = {10.1007/978-3-540-45187-7\_5},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KlinS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Lynch03,
author = {Nancy A. Lynch},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,
..},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {187--188},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_12},
doi = {10.1007/978-3-540-45187-7\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Lynch03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LynchSV03,
author = {Nancy A. Lynch and
Roberto Segala and
Frits W. Vaandrager},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Compositionality for Probabilistic Automata},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {204--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_14},
doi = {10.1007/978-3-540-45187-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LynchSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MarkeyS03,
author = {Nicolas Markey and
Philippe Schnoebelen},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Model Checking a Path},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {248--262},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_17},
doi = {10.1007/978-3-540-45187-7\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MarkeyS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MateusMS03,
author = {Paulo Mateus and
John C. Mitchell and
Andre Scedrov},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time
Process Calculus},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {323--345},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_22},
doi = {10.1007/978-3-540-45187-7\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MateusMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MukundKT03,
author = {Madhavan Mukund and
K. Narayan Kumar and
P. S. Thiagarajan},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Netcharts: Bridging the gap between HMSCs and executable specifications},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {293--307},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_20},
doi = {10.1007/978-3-540-45187-7\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MukundKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NestmannFM03,
author = {Uwe Nestmann and
Rachele Fuzzati and
Massimo Merro},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Modeling Consensus in a Process Calculus},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {393--407},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_26},
doi = {10.1007/978-3-540-45187-7\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NestmannFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NittaS03,
author = {Naoya Nitta and
Hiroyuki Seki},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {An Extension of Pushdown System and Its Model Checking Method},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {278--292},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_19},
doi = {10.1007/978-3-540-45187-7\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NittaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NortonLM03,
author = {Barry Norton and
Gerald L{\"{u}}ttgen and
Michael Mendler},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {A Compositional Semantic Theory for Synchronous Component-based Design},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {453--467},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_30},
doi = {10.1007/978-3-540-45187-7\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NortonLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NygaardW03,
author = {Mikkel Nygaard and
Glynn Winskel},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Full Abstraction for {HOPLA}},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {378--392},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_25},
doi = {10.1007/978-3-540-45187-7\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NygaardW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PierroHW03,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Quantitative Relations and Approximate Process Equivalences},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {498--512},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_33},
doi = {10.1007/978-3-540-45187-7\_33},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/PierroHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Sawa03,
author = {Zdenek Sawa},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Equivalence Checking of Non-Flat Systems Is EXPTIME-hard},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {233--248},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_16},
doi = {10.1007/978-3-540-45187-7\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Sawa03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/StarkCS03,
author = {Eugene W. Stark and
Rance Cleaveland and
Scott A. Smolka},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {A Process-Algebraic Language for Probabilistic {I/O} Automata},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {189--203},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_13},
doi = {10.1007/978-3-540-45187-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/StarkCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/StefanescuEM03,
author = {Alin Stefanescu and
Javier Esparza and
Anca Muscholl},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Synthesis of Distributed Algorithms Using Asynchronous Automata},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {27--41},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_2},
doi = {10.1007/978-3-540-45187-7\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/StefanescuEM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Ulidowski03,
author = {Irek Ulidowski},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Priority Rewrite Systems for {OSOS} Process Languages},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {87--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_6},
doi = {10.1007/978-3-540-45187-7\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Ulidowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2003,
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11938},
doi = {10.1007/B11938},
isbn = {3-540-40753-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2003.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-06-03 23:58 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:
