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/coordination/coordination2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/coordination/BortolussiLM13,
author = {Luca Bortolussi and
Diego Latella and
Mieke Massink},
editor = {Rocco De Nicola and
Christine Julien},
title = {Stochastic Process Algebra and Stability Analysis of Collective Systems},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_1},
doi = {10.1007/978-3-642-38493-6\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BortolussiLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CeroneHM13,
author = {Andrea Cerone and
Matthew Hennessy and
Massimo Merro},
editor = {Rocco De Nicola and
Christine Julien},
title = {Modelling MAC-Layer Communications in Wireless Systems},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {16--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_2},
doi = {10.1007/978-3-642-38493-6\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CeroneHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CogumbreiroMV13,
author = {Tiago Cogumbreiro and
Francisco Martins and
Vasco Thudichum Vasconcelos},
editor = {Rocco De Nicola and
Christine Julien},
title = {Coordinating Phased Activities while Maintaining Progress},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {31--44},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_3},
doi = {10.1007/978-3-642-38493-6\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CogumbreiroMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CoppoDPY13,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Luca Padovani and
Nobuko Yoshida},
editor = {Rocco De Nicola and
Christine Julien},
title = {Inference of Global Progress Properties for Dynamically Interleaved
Multiparty Sessions},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {45--59},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_4},
doi = {10.1007/978-3-642-38493-6\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CoppoDPY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Given-WilsonG13,
author = {Thomas Given{-}Wilson and
Daniele Gorla},
editor = {Rocco De Nicola and
Christine Julien},
title = {Pattern Matching and Bisimulation},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {60--74},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_5},
doi = {10.1007/978-3-642-38493-6\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Given-WilsonG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GueyePR13,
author = {Soguy Mak Kar{\'{e}} Gueye and
Noel De Palma and
{\'{E}}ric Rutten},
editor = {Rocco De Nicola and
Christine Julien},
title = {Component-Based Autonomic Managers for Coordination Control},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {75--89},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_6},
doi = {10.1007/978-3-642-38493-6\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GueyePR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HenrioHI13,
author = {Ludovic Henrio and
Fabrice Huet and
Zsolt Istv{\'{a}}n},
editor = {Rocco De Nicola and
Christine Julien},
title = {Multi-threaded Active Objects},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {90--104},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_7},
doi = {10.1007/978-3-642-38493-6\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HenrioHI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KimPR13,
author = {Junwhan Kim and
Roberto Palmieri and
Binoy Ravindran},
editor = {Rocco De Nicola and
Christine Julien},
title = {Scheduling Open-Nested Transactions in Distributed Transactional Memory},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {105--120},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_8},
doi = {10.1007/978-3-642-38493-6\_8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/KimPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KuhnCJMS13,
author = {Eva K{\"{u}}hn and
Stefan Cra{\ss} and
Gerson Joskowicz and
Alexander Marek and
Thomas Scheller},
editor = {Rocco De Nicola and
Christine Julien},
title = {Peer-Based Programming Model for Coordination Patterns},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {121--135},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_9},
doi = {10.1007/978-3-642-38493-6\_9},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/KuhnCJMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LaneseZ13,
author = {Ivan Lanese and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Christine Julien},
title = {Decidability Results for Dynamic Installation of Compensation Handlers},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {136--150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_10},
doi = {10.1007/978-3-642-38493-6\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/LaneseZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MarianiO13,
author = {Stefano Mariani and
Andrea Omicini},
editor = {Rocco De Nicola and
Christine Julien},
title = {Probabilistic Modular Embedding for Stochastic Coordinated Systems},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {151--165},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_11},
doi = {10.1007/978-3-642-38493-6\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/MarianiO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MohamedinRP13,
author = {Mohamed Mohamedin and
Binoy Ravindran and
Roberto Palmieri},
editor = {Rocco De Nicola and
Christine Julien},
title = {ByteSTM: Virtual Machine-Level Java Software Transactional Memory},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {166--180},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_12},
doi = {10.1007/978-3-642-38493-6\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/MohamedinRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NobakhtBJ13,
author = {Behrooz Nobakht and
Frank S. de Boer and
Mohammad Mahdi Jaghoori},
editor = {Rocco De Nicola and
Christine Julien},
title = {The Future of a Missed Deadline},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {181--195},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_13},
doi = {10.1007/978-3-642-38493-6\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NobakhtBJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PhilipsHPM13,
author = {Laure Philips and
Dries Harnie and
Kevin Pinte and
Wolfgang De Meuter},
editor = {Rocco De Nicola and
Christine Julien},
title = {Event Loop Coordination Using Meta-programming},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {196--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_14},
doi = {10.1007/978-3-642-38493-6\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PhilipsHPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ProencaC13,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Rocco De Nicola and
Christine Julien},
title = {Interactive Interaction Constraints},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {211--225},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_15},
doi = {10.1007/978-3-642-38493-6\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ProencaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SalvaneschiDM13,
author = {Guido Salvaneschi and
Joscha Drechsler and
Mira Mezini},
editor = {Rocco De Nicola and
Christine Julien},
title = {Towards Distributed Reactive Programming},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {226--235},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_16},
doi = {10.1007/978-3-642-38493-6\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SalvaneschiDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/VieiraV13,
author = {Hugo Torres Vieira and
Vasco Thudichum Vasconcelos},
editor = {Rocco De Nicola and
Christine Julien},
title = {Typing Progress in Communication-Centred Systems},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {236--250},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_17},
doi = {10.1007/978-3-642-38493-6\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/VieiraV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2013,
editor = {Rocco De Nicola and
Christine Julien},
title = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6},
doi = {10.1007/978-3-642-38493-6},
isbn = {978-3-642-38492-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2013.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-08-27 21:16 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:
