![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/concur/concur2008.bht:"
@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} }
![](https://dblp.uni-trier.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.