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/concur2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/AbadiHM08,
author = {Mart{\'{\i}}n Abadi and
Tim Harris and
Katherine F. Moore},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Model of Dynamic Separation for Transactional Memory},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {6--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_5},
doi = {10.1007/978-3-540-85361-9\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AbadiHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaKY08,
author = {Parosh Aziz Abdulla and
Pavel Krc{\'{a}}l and
Wang Yi},
editor = {Franck van Breugel and
Marsha Chechik},
title = {R-Automata},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {67--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_9},
doi = {10.1007/978-3-540-85361-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AbdullaKY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcciaiB08,
author = {Lucia Acciai and
Michele Boreale},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Spatial and Behavioral Types in the Pi-Calculus},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {372--386},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_30},
doi = {10.1007/978-3-540-85361-9\_30},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcciaiB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AkshayBGMK08,
author = {S. Akshay and
Benedikt Bollig and
Paul Gastin and
Madhavan Mukund and
K. Narayan Kumar},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Distributed Timed Automata with Independently Evolving Clocks},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {82--97},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_10},
doi = {10.1007/978-3-540-85361-9\_10},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AkshayBGMK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AtigBT08,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Tayssir Touili},
editor = {Franck van Breugel and
Marsha Chechik},
title = {On the Reachability Analysis of Acyclic Networks of Pushdown Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {356--371},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_29},
doi = {10.1007/978-3-540-85361-9\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AtigBT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenCT08,
author = {Jos C. M. Baeten and
Pieter J. L. Cuijpers and
P. J. A. van Tilburg},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Context-Free Process as a Pushdown Automaton},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {98--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_11},
doi = {10.1007/978-3-540-85361-9\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BaetenCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanCHK08,
author = {Paolo Baldan and
Thomas Chatain and
Stefan Haar and
Barbara K{\"{o}}nig},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Unfolding-Based Diagnosis of Systems with an Evolving Topology},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_19},
doi = {10.1007/978-3-540-85361-9\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanCHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BerwangerCDHR08,
author = {Dietmar Berwanger and
Krishnendu Chatterjee and
Laurent Doyen and
Thomas A. Henzinger and
Sangram Raje},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Strategy Construction for Parity Games with Imperfect Information},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {325--339},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_27},
doi = {10.1007/978-3-540-85361-9\_27},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BerwangerCDHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BettiniCDLDY08,
author = {Lorenzo Bettini and
Mario Coppo and
Loris D'Antoni and
Marco De Luca and
Mariangiola Dezani{-}Ciancaglini and
Nobuko Yoshida},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Global Progress in Dynamically Interleaved Multiparty Sessions},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {418--433},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_33},
doi = {10.1007/978-3-540-85361-9\_33},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BettiniCDLDY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BirkedalDH08,
author = {Lars Birkedal and
S{\o}ren Debois and
Thomas T. Hildebrandt},
editor = {Franck van Breugel and
Marsha Chechik},
title = {On the Construction of Sorted Reactive Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_20},
doi = {10.1007/978-3-540-85361-9\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BirkedalDH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BliudzeS08,
author = {Simon Bliudze and
Joseph Sifakis},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Notion of Glue Expressiveness for Component-Based Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {508--522},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_39},
doi = {10.1007/978-3-540-85361-9\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BliudzeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BolligKKL08,
author = {Benedikt Bollig and
Joost{-}Pieter Katoen and
Carsten Kern and
Martin Leucker},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Smyle: {A} Tool for Synthesizing Distributed Models from Scenarios
by Learning},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {162--166},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_15},
doi = {10.1007/978-3-540-85361-9\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BolligKKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonakdarpourK08,
author = {Borzoo Bonakdarpour and
Sandeep S. Kulkarni},
editor = {Franck van Breugel and
Marsha Chechik},
title = {{SYCRAFT:} {A} Tool for Synthesizing Distributed Fault-Tolerant Programs},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {167--171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_16},
doi = {10.1007/978-3-540-85361-9\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonakdarpourK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bultan08,
author = {Tevfik Bultan},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Service Choreography and Orchestration with Conversations},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {2--3},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_2},
doi = {10.1007/978-3-540-85361-9\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bultan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CanettiCKLP08,
author = {Ran Canetti and
Ling Cheung and
Dilsun Kirli Kaynar and
Nancy A. Lynch and
Olivier Pereira},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Modeling Computational Security in Long-Lived Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {114--130},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_12},
doi = {10.1007/978-3-540-85361-9\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CanettiCKLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CarboneHY08,
author = {Marco Carbone and
Kohei Honda and
Nobuko Yoshida},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Structured Interactional Exceptions in Session Types},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {402--417},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_32},
doi = {10.1007/978-3-540-85361-9\_32},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/CarboneHY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChadhaVV08,
author = {Rohit Chadha and
Mahesh Viswanathan and
Ramesh Viswanathan},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Least Upper Bounds for Probability Measures and Their Applications
to Abstractions},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {264--278},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_23},
doi = {10.1007/978-3-540-85361-9\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChadhaVV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChambartS08,
author = {Pierre Chambart and
Philippe Schnoebelen},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Mixing Lossy and Perfect Fifo Channels},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {340--355},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_28},
doi = {10.1007/978-3-540-85361-9\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChambartS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChatterjeeHJ08,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Environment Assumptions for Synthesis},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {147--161},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_14},
doi = {10.1007/978-3-540-85361-9\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChatterjeeHJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CranenMR08,
author = {Sjoerd Cranen and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Rule Format for Associativity},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {447--461},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_35},
doi = {10.1007/978-3-540-85361-9\_35},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CranenMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CrouzenHZ08,
author = {Pepijn Crouzen and
Holger Hermanns and
Lijun Zhang},
editor = {Franck van Breugel and
Marsha Chechik},
title = {On the Minimisation of Acyclic Models},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {295--309},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_25},
doi = {10.1007/978-3-540-85361-9\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CrouzenHZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DarondeauGTY08,
author = {Philippe Darondeau and
Blaise Genest and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Quasi-Static Scheduling of Communicating Tasks},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {310--324},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_26},
doi = {10.1007/978-3-540-85361-9\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DarondeauGTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DragerF08,
author = {Klaus Dr{\"{a}}ger and
Bernd Finkbeiner},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Subsequence Invariants},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {172--186},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_17},
doi = {10.1007/978-3-540-85361-9\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DragerF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Gorla08,
author = {Daniele Gorla},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Towards a Unified Approach to Encodability and Separation Results
for Process Calculi},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {492--507},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_38},
doi = {10.1007/978-3-540-85361-9\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Gorla08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuerraouiHS08,
author = {Rachid Guerraoui and
Thomas A. Henzinger and
Vasu Singh},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Completeness and Nondeterminism in Model Checking Transactional Memories},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {21--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_6},
doi = {10.1007/978-3-540-85361-9\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuerraouiHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuerraouiV08,
author = {Rachid Guerraoui and
Marko Vukolic},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Scalable and Oblivious Atomicity Assertion},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {52--66},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_8},
doi = {10.1007/978-3-540-85361-9\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuerraouiV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Halpern08,
author = {Joseph Y. Halpern},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Beyond Nash Equilibrium: Solution Concepts for the 21st Century},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_1},
doi = {10.1007/978-3-540-85361-9\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Halpern08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarKS08,
author = {Petr Jancar and
Martin Kot and
Zdenek Sawa},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Normed {BPA} vs. Normed {BPP} Revisited},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {434--446},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_34},
doi = {10.1007/978-3-540-85361-9\_34},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KastenbergR08,
author = {Harmen Kastenberg and
Arend Rensink},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Dynamic Partial Order Reduction Using Probe Sets},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {233--247},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_21},
doi = {10.1007/978-3-540-85361-9\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KastenbergR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KatoenKLW08,
author = {Joost{-}Pieter Katoen and
Daniel Klink and
Martin Leucker and
Verena Wolf},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Abstraction for Stochastic Systems by Erlang's Method of Stages},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {279--294},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_24},
doi = {10.1007/978-3-540-85361-9\_24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KatoenKLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LozesV08,
author = {{\'{E}}tienne Lozes and
Jules Villard},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Spatial Equational Logic for the Applied pi-Calculus},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {387--401},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_31},
doi = {10.1007/978-3-540-85361-9\_31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LozesV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Morin08,
author = {R{\'{e}}mi Morin},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Semantics of Deterministic Shared-Memory Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {36--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_7},
doi = {10.1007/978-3-540-85361-9\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Morin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/OrzanW08,
author = {Simona Orzan and
Tim A. C. Willemse},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Invariants for Parameterised Boolean Equation Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {187--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_18},
doi = {10.1007/978-3-540-85361-9\_18},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/OrzanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Padovani08,
author = {Luca Padovani},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Contract-Directed Synthesis of Simple Orchestrators},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {131--146},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_13},
doi = {10.1007/978-3-540-85361-9\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Padovani08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Panangaden08,
author = {Prakash Panangaden},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Knowledge and Information in Probabilistic Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_3},
doi = {10.1007/978-3-540-85361-9\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Panangaden08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Qadeer08,
author = {Shaz Qadeer},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Taming Concurrency: {A} Program Verification Perspective},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {5},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_4},
doi = {10.1007/978-3-540-85361-9\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Qadeer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RathkeS08,
author = {Julian Rathke and
Pawel Sobocinski},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Deriving Structural Labelled Transitions for Mobile Ambients},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {462--476},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_36},
doi = {10.1007/978-3-540-85361-9\_36},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/RathkeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ZavattaroC08,
author = {Gianluigi Zavattaro and
Luca Cardelli},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Termination Problems in Chemical Kinetics},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {477--491},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_37},
doi = {10.1007/978-3-540-85361-9\_37},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/ZavattaroC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Zhang08,
author = {Lijun Zhang},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Space-Efficient Probabilistic Simulation Algorithm},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {248--263},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_22},
doi = {10.1007/978-3-540-85361-9\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Zhang08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2008,
editor = {Franck van Breugel and
Marsha Chechik},
title = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9},
doi = {10.1007/978-3-540-85361-9},
isbn = {978-3-540-85360-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2008.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-13 11:50 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:
