default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/foclasa:"
download as .bib file
@inproceedings{DBLP:journals/corr/AutiliSPT15,
author = {Marco Autili and
Amleto Di Salle and
Alexander Perucci and
Massimo Tivoli},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {On the Automated Synthesis of Enterprise Integration Patterns to Adapt
Choreography-based Distributed Systems},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {33--47},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.3},
doi = {10.4204/EPTCS.201.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AutiliSPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bravetti15a,
author = {Mario Bravetti},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {Towards Dynamic Updates in Service Composition},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {1--17},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.1},
doi = {10.4204/EPTCS.201.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bravetti15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CancianiDFG15,
author = {Andrea Canciani and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {A Context-Oriented Extension of F{\#}},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {18--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.2},
doi = {10.4204/EPTCS.201.2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CancianiDFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CherifI15,
author = {Asma Cherif and
Abdessamad Imine},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {A Constraint-based Approach for Generating Transformation Patterns},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {48--62},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.4},
doi = {10.4204/EPTCS.201.4},
timestamp = {Thu, 30 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CherifI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ManafMK15,
author = {Nurulhuda A. Manaf and
Sotiris Moschoyiannis and
Paul J. Krause},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {Service Choreography, SBVR, and Time},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {63--77},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.5},
doi = {10.4204/EPTCS.201.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManafMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CamaraP15,
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.175},
doi = {10.4204/EPTCS.175},
timestamp = {Tue, 15 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CamaraP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/ProencaT15,
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201},
doi = {10.4204/EPTCS.201},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ProencaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AutiliT15,
author = {Marco Autili and
Massimo Tivoli},
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {Distributed Enforcement of Service Choreographies},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
pages = {18--35},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.175.2},
doi = {10.4204/EPTCS.175.2},
timestamp = {Tue, 15 Oct 2024 20:29:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/AutiliT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CassarF15,
author = {Ian Cassar and
Adrian Francalanza},
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {On Synchronous and Asynchronous Monitor Instrumentation for Actor-based
systems},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
pages = {54--68},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.175.4},
doi = {10.4204/EPTCS.175.4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CassarF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DarquennesJL15,
author = {Denis Darquennes and
Jean{-}Marie Jacquet and
Isabelle Linden},
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {On Distributed Density in Tuple-based Coordination Languages},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
pages = {36--53},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.175.3},
doi = {10.4204/EPTCS.175.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DarquennesJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HenrioKLM15,
author = {Ludovic Henrio and
Oleksandra Kulankhina and
Dongqian Liu and
Eric Madelaine},
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {Verifying the correct composition of distributed components: Formalisation
and Tool},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
pages = {69--85},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.175.5},
doi = {10.4204/EPTCS.175.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HenrioKLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4630,
author = {Joakim Bj{\o}rk and
Dave Clarke and
Einar Broch Johnsen and
Olaf Owe},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Type-Safe Model of Adaptive Object Groups},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {1--15},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.1},
doi = {10.4204/EPTCS.91.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4632,
author = {Minas Charalambides and
Peter Dinges and
Gul Agha},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {Parameterized Concurrent Multi-Party Session Types},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {16--30},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.2},
doi = {10.4204/EPTCS.91.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4634,
author = {Gabriel Ciobanu and
Ross Horne},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Provenance Tracking Model for Data Updates},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {31--44},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.3},
doi = {10.4204/EPTCS.91.3},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-4635,
author = {M. Usman Iftikhar and
Danny Weyns},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Case Study on Formal Verification of Self-Adaptive Behaviors in
a Decentralized System},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {45--62},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.4},
doi = {10.4204/EPTCS.91.4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-1421,
author = {Jean{-}Marie Jacquet and
Isabelle Linden and
Mihail{-}Octavian Staicu},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {Blackboard Rules for Coordinating Context-aware Applications in Mobile
Ad Hoc Networks},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {63--78},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.5},
doi = {10.4204/EPTCS.91.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-1422,
author = {Sung{-}Shik T. Q. Jongmans and
Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A Procedure for Splitting Processes and its Application to Coordination},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {79--96},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.6},
doi = {10.4204/EPTCS.91.6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-1434,
author = {Jasen Markovski},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {Communicating Processes with Data for Supervisory Coordination},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {97--111},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.7},
doi = {10.4204/EPTCS.91.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-1628,
author = {Emanuela Merelli and
Nicola Paoletti and
Luca Tesei},
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {A multi-level model for self-adaptive systems},
booktitle = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
pages = {112--126},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91.8},
doi = {10.4204/EPTCS.91.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-4327,
editor = {Natallia Kokash and
Ant{\'{o}}nio Ravara},
title = {Proceedings 11th International Workshop on Foundations of Coordination
Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
8, 2012},
series = {{EPTCS}},
volume = {91},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.91},
doi = {10.4204/EPTCS.91},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AndovaGV11,
author = {Suzana Andova and
Luuk Groenewegen and
Erik P. de Vink},
title = {Dynamic consistency in process algebra: From Paradigm to {ACP}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {711--735},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.04.011},
doi = {10.1016/J.SCICO.2010.04.011},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AndovaGV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPS11,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {631--632},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.06.003},
doi = {10.1016/J.SCICO.2010.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClarkePLA11,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
title = {Channel-based coordination via constraint satisfaction},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {681--710},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.004},
doi = {10.1016/J.SCICO.2010.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ClarkePLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Lamsweerde11,
author = {Axel van Lamsweerde},
title = {The humble humorous researcher: {A} tribute to Michel Sintzoff},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {627--630},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2011.02.004},
doi = {10.1016/J.SCICO.2011.02.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Lamsweerde11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MengAB11,
author = {Sun Meng and
Farhad Arbab and
Christel Baier},
title = {Synthesis of Reo circuits from scenario-based interaction specifications},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {651--680},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.002},
doi = {10.1016/J.SCICO.2010.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MengAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WongG11,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
title = {Formalisations and applications of {BPMN}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {8},
pages = {633--650},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.09.010},
doi = {10.1016/J.SCICO.2009.09.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WongG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0228,
author = {Luca Aceto and
Matteo Cimini and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Arni Hermann Reynisson and
Steinar Hugi Sigurdarson and
Marjan Sirjani},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Modelling and Simulation of Asynchronous Real-Time Systems using Timed
Rebeca},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.1},
doi = {10.4204/EPTCS.58.1},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0229,
author = {Ross Horne and
Vladimiro Sassone},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {A Verified Algebra for Linked Data},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {20--33},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.2},
doi = {10.4204/EPTCS.58.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0230,
author = {Simon Ware and
Robi Malik},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {A State-Based Characterisation of the Conflict Preorder},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {34--48},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.3},
doi = {10.4204/EPTCS.58.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0231,
author = {Chiara Bodei and
Viet Dung Dinh and
Gian{-}Luigi Ferrari},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Predicting global usages of resources endowed with local policies},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {49--64},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.4},
doi = {10.4204/EPTCS.58.4},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0232,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke and
Erik P. de Vink and
Farhad Arbab},
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Decoupled execution of synchronous coordination models via behavioural
automata},
booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
pages = {65--79},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58.5},
doi = {10.4204/EPTCS.58.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1107-5847,
editor = {Mohammad Reza Mousavi and
Ant{\'{o}}nio Ravara},
title = {Proceedings 10th International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
10th September, 2011},
series = {{EPTCS}},
volume = {58},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.58},
doi = {10.4204/EPTCS.58},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5088,
author = {Jan{-}Mark S. Wams and
Maarten van Steen},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Simplified Distributed Programming with Micro Objects},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {1--15},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.1},
doi = {10.4204/EPTCS.30.1},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5089,
author = {Mayleen Lacouture and
Herv{\'{e}} Grall and
Thomas Ledoux},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {{CREOLE:} a Universal Language for Creating, Requesting, Updating
and Deleting Resources},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {16--30},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.2},
doi = {10.4204/EPTCS.30.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5090,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Hammadi Khairallah},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Implementing Distributed Controllers for Systems with Priorities},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {31--46},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.3},
doi = {10.4204/EPTCS.30.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5091,
author = {Maryam Kamali and
Linas Laibinis and
Luigia Petre and
Kaisa Sere},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Self-Recovering Sensor-Actor Networks},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {47--61},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.4},
doi = {10.4204/EPTCS.30.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5092,
author = {Javier Cubo and
Ernesto Pimentel and
Gwen Sala{\"{u}}n and
Carlos Canal},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Handling Data-Based Concurrency in Context-Aware Service Protocols},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {62--77},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.5},
doi = {10.4204/EPTCS.30.5},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5093,
author = {Abdessamad Imine},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {On Coordinating Collaborative Objects},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {78--92},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.6},
doi = {10.4204/EPTCS.30.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5094,
author = {Young{-}Joo Moon and
Alexandra Silva and
Christian Krause and
Farhad Arbab},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {A Compositional Semantics for Stochastic Reo Connectors},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {93--107},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.7},
doi = {10.4204/EPTCS.30.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5095,
author = {Mohammad Mahdi Jaghoori and
Tom Chothia},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Timed Automata Semantics for Analyzing Creol},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {108--122},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.8},
doi = {10.4204/EPTCS.30.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1007-4993,
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30},
doi = {10.4204/EPTCS.30},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbouzaidM09,
author = {Faisal Abouzaid and
John Mullins},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Model-checking Web Services Orchestrations using BP-calculus},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {3--21},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.022},
doi = {10.1016/J.ENTCS.2009.10.022},
timestamp = {Tue, 06 Dec 2022 12:48:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbouzaidM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndovaGSV09,
author = {Suzana Andova and
Luuk Groenewegen and
J. Stafleu and
Erik P. de Vink},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Formalizing Adaptation On-the-Fly},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {23--44},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.023},
doi = {10.1016/J.ENTCS.2009.10.023},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndovaGSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamposB09,
author = {Marco Devesas Campos and
Lu{\'{\i}}s Soares Barbosa},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Implementation of an Orchestration Language as a Haskell Domain Specific
Language},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {45--64},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.024},
doi = {10.1016/J.ENTCS.2009.10.024},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamposB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranOS09,
author = {Francisco Dur{\'{a}}n and
Meriem Ouederni and
Gwen Sala{\"{u}}n},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Checking Protocol Compatibility using Maude},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {65--81},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.025},
doi = {10.1016/J.ENTCS.2009.10.025},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DuranOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HenrioK09,
author = {Ludovic Henrio and
Florian Kamm{\"{u}}ller},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Functional Active Objects: Typing and Formalisation},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {83--101},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.026},
doi = {10.1016/J.ENTCS.2009.10.026},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HenrioK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kemper09,
author = {Stephanie Kemper},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {SAT-based Verification for Timed Component Connectors},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {103--118},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.027},
doi = {10.1016/J.ENTCS.2009.10.027},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kemper09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MengA09,
author = {Sun Meng and
Farhad Arbab},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Connectors as Designs},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {119--135},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.028},
doi = {10.1016/J.ENTCS.2009.10.028},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MengA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PourvatanSHA09,
author = {Bahman Pourvatan and
Marjan Sirjani and
Hossein Hojjat and
Farhad Arbab},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Automated Analysis of Reo Circuits using Symbolic Execution},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {137--158},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.029},
doi = {10.1016/J.ENTCS.2009.10.029},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PourvatanSHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RoohiSM09,
author = {Nima Roohi and
Gwen Sala{\"{u}}n and
Seyed{-}Hassan Mirian{-}Hosseinabadi},
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Analyzing Chor Specifications by Translation into {FSP}},
booktitle = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
pages = {159--176},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.030},
doi = {10.1016/J.ENTCS.2009.10.030},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RoohiSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2008,
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/2},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2009,
editor = {Gwen Sala{\"{u}}n and
Marjan Sirjani},
title = {Proceedings of the 8th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2009,
Rhodes, Greece, July 11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {255},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/255/suppl/C},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndovaGV09,
author = {Suzana Andova and
Luuk Groenewegen and
Erik P. de Vink},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Dynamic Consistency in Process Algebra: From Paradigm to {ACP}},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {3--20},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.026},
doi = {10.1016/J.ENTCS.2009.06.026},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndovaGV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabSB09,
author = {Farhad Arbab and
Sun Meng and
Christel Baier},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Synthesis of Reo Circuits from Scenario-based Specifications},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {21--41},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.027},
doi = {10.1016/J.ENTCS.2009.06.027},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalPS09,
author = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.025},
doi = {10.1016/J.ENTCS.2009.06.025},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkePLA09,
author = {Dave Clarke and
Jos{\'{e}} Proen{\c{c}}a and
Alexander Lazovik and
Farhad Arbab},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Deconstructing Reo},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {43--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.028},
doi = {10.1016/J.ENTCS.2009.06.028},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkePLA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GodskesenHK09,
author = {Jens Chr. Godskesen and
Hans H{\"{u}}ttel and
Morten K{\"{u}}hnrich},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Verification of Correspondence Assertions in a Calculus for Mobile
Ad Hoc Networks},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {77--93},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.030},
doi = {10.1016/J.ENTCS.2009.06.030},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GodskesenHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MarthR09,
author = {Kevin Marth and
Shangping Ren},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {The {ARC} Programming Model - Language Constructs for Coordination},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {95--113},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.031},
doi = {10.1016/J.ENTCS.2009.06.031},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MarthR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinP09a,
author = {Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Automatic Generation of Adaptation Contracts},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {115--131},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.032},
doi = {10.1016/J.ENTCS.2009.06.032},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinP09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TasharofiS09,
author = {Samira Tasharofi and
Marjan Sirjani},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Formal Modeling and Conformance Validation for {WS-CDL} using Reo
and {CASM}},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {155--174},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.034},
doi = {10.1016/J.ENTCS.2009.06.034},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TasharofiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WongG09,
author = {Peter Y. H. Wong and
Jeremy Gibbons},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {A Relative Timed Semantics for {BPMN}},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {59--75},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.029},
doi = {10.1016/J.ENTCS.2009.06.029},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WongG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuRT09,
author = {Yue Yu and
Shangping Ren and
Carolyn L. Talcott},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Coordinating Asynchronous and Open Distributed Systems under Semiring-Based
Timing Constraints},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {133--153},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.033},
doi = {10.1016/J.ENTCS.2009.06.033},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YuRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2007,
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/194/issue/4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiPGLP08,
author = {Antonio Brogi and
Razvan Popescu and
Francisco Guti{\'{e}}rrez and
Pablo L{\'{o}}pez and
Ernesto Pimentel},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {A Service-Oriented Model for Embedded Peer-to-Peer Systems},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {5--22},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.096},
doi = {10.1016/J.ENTCS.2008.03.096},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrogiPGLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalPV08,
author = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.095},
doi = {10.1016/J.ENTCS.2008.03.095},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CasadeiOV08,
author = {Matteo Casadei and
Andrea Omicini and
Mirko Viroli},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Prototyping A{\&}A ReSpecT in Maude},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {93--109},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.101},
doi = {10.1016/J.ENTCS.2008.03.101},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CasadeiOV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KoehlerLA08,
author = {Christian Koehler and
Alexander Lazovik and
Farhad Arbab},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Connector Rewriting with High-Level Replacement Systems},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {77--92},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.100},
doi = {10.1016/J.ENTCS.2008.03.100},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KoehlerLA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ProencaC08,
author = {Jos{\'{e}} Proen{\c{c}}a and
Dave Clarke},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Coordination Models Orc and Reo Compared},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {57--76},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.099},
doi = {10.1016/J.ENTCS.2008.03.099},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ProencaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RicciVC08,
author = {Alessandro Ricci and
Mirko Viroli and
Maurizio Cimadamore},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework
and Core Calculus},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {111--132},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.102},
doi = {10.1016/J.ENTCS.2008.03.102},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RicciVC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SanzACM08,
author = {Marcos L{\'{o}}pez Sanz and
C{\'{e}}sar J. Acu{\~{n}}a and
Carlos E. Cuesta and
Esperanza Marcos},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Modelling of Service-Oriented Architectures with {UML}},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {23--37},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.097},
doi = {10.1016/J.ENTCS.2008.03.097},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SanzACM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TalcottSR08,
author = {Carolyn L. Talcott and
Marjan Sirjani and
Shangping Ren},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Comparing Three Coordination Models: Reo, ARC, and {RRD}},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {39--55},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.098},
doi = {10.1016/J.ENTCS.2008.03.098},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TalcottSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2004,
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/180/issue/2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2006,
editor = {Carlos Canal and
Mirko Viroli},
title = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarbosaB07,
author = {Marco Antonio Barbosa and
Lu{\'{\i}}s Soares Barbosa},
editor = {Carlos Canal and
Mirko Viroli},
title = {Configurations of Web Services},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {39--57},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.004},
doi = {10.1016/J.ENTCS.2007.03.004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarbosaB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiCCCP07,
author = {Antonio Brogi and
Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Ernesto Pimentel},
editor = {Carlos Canal and
Mirko Viroli},
title = {Dynamic Contextual Adaptation},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {81--95},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.005},
doi = {10.1016/J.ENTCS.2007.03.005},
timestamp = {Tue, 15 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrogiCCCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalV07,
author = {Carlos Canal and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.001},
doi = {10.1016/J.ENTCS.2007.03.001},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CasadeiGV07,
author = {Matteo Casadei and
Luca Gardelli and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Simulating Emergent Properties of Coordination in Maude: the Collective
Sort Case},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {59--80},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.022},
doi = {10.1016/J.ENTCS.2007.05.022},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CasadeiGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChothiaK07,
author = {Tom Chothia and
Jetty Kleijn},
editor = {Carlos Canal and
Mirko Viroli},
title = {Q-Automata: Modelling the Resource Usage of Concurrent Components},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {153--167},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.009},
doi = {10.1016/J.ENTCS.2007.03.009},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChothiaK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuP07,
author = {Gabriel Ciobanu and
Cristian Prisacariu},
editor = {Carlos Canal and
Mirko Viroli},
title = {Coordination by Timers for Channel-Based Anonymous Communications},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {3--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.002},
doi = {10.1016/J.ENTCS.2007.03.002},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FilipeM07,
author = {Juliana K{\"{u}}ster Filipe and
Sotiris Moschoyiannis},
editor = {Carlos Canal and
Mirko Viroli},
title = {Concurrent Logic and Automata Combined: {A} Semantics for Components},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {135--151},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.008},
doi = {10.1016/J.ENTCS.2007.03.008},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FilipeM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KluppelholzB07,
author = {Sascha Kl{\"{u}}ppelholz and
Christel Baier},
editor = {Carlos Canal and
Mirko Viroli},
title = {Symbolic Model Checking for Channel-based Component Connectors},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {19--37},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.003},
doi = {10.1016/J.ENTCS.2007.03.003},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KluppelholzB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KohlerR07,
author = {Michael K{\"{o}}hler and
Heiko R{\"{o}}lke},
editor = {Carlos Canal and
Mirko Viroli},
title = {Dynamic Transition Refinement},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {119--134},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.007},
doi = {10.1016/J.ENTCS.2007.03.007},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KohlerR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Omicini07,
author = {Andrea Omicini},
editor = {Carlos Canal and
Mirko Viroli},
title = {Formal ReSpecT in the A{\&}A Perspective},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {97--117},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.006},
doi = {10.1016/J.ENTCS.2007.03.006},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Omicini07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2005,
editor = {Carlos Canal and
Mirko Viroli},
title = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/154/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CabanoDRV06,
author = {Michele Cabano and
Enrico Denti and
Alessandro Ricci and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Designing a {BPEL} Orchestration Engine Based on ReSpecT Tuple Centres},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {139--158},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.037},
doi = {10.1016/J.ENTCS.2005.12.037},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CabanoDRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraCCV06,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Antonio Vallecillo},
editor = {Carlos Canal and
Mirko Viroli},
title = {Formalizing {WSBPEL} Business Processes Using Process Algebra},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {159--173},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.038},
doi = {10.1016/J.ENTCS.2005.12.038},
timestamp = {Tue, 15 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CamaraCCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CanalV06,
author = {Carlos Canal and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.029},
doi = {10.1016/J.ENTCS.2005.12.029},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CanalV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChothiaD06,
author = {Tom Chothia and
Dominic Duggan},
editor = {Carlos Canal and
Mirko Viroli},
title = {Capability-Passing Processes},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {3--23},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.030},
doi = {10.1016/J.ENTCS.2005.12.030},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChothiaD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkeCA06,
author = {Dave Clarke and
David Costa and
Farhad Arbab},
editor = {Carlos Canal and
Mirko Viroli},
title = {Connector Colouring {I:} Synchronisation and Context Dependency},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {101--119},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.035},
doi = {10.1016/J.ENTCS.2005.12.035},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkeCA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CuestaRFB06,
author = {Carlos E. Cuesta and
Mar{\'{\i}}a Pilar Romay Rodr{\'{\i}}guez and
Pablo de la Fuente and
Manuel Barrio{-}Sol{\'{o}}rzano},
editor = {Carlos Canal and
Mirko Viroli},
title = {Coordination as an Architectural Aspect},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {25--41},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.031},
doi = {10.1016/J.ENTCS.2005.12.031},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CuestaRFB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB06,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Carlos Canal and
Mirko Viroli},
title = {Modeling the Exogenous Coordination of Mobile Channel-based Systems
with Petri Nets},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {121--138},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.036},
doi = {10.1016/J.ENTCS.2005.12.036},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guillen-ScholtenABB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MousaviSA06,
author = {Mohammad Reza Mousavi and
Marjan Sirjani and
Farhad Arbab},
editor = {Carlos Canal and
Mirko Viroli},
title = {Formal Semantics and Analysis of Component Connectors in Reo},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {83--99},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.034},
doi = {10.1016/J.ENTCS.2005.12.034},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MousaviSA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NataliORV06,
author = {Antonio Natali and
Enrico Oliva and
Alessandro Ricci and
Mirko Viroli},
editor = {Carlos Canal and
Mirko Viroli},
title = {A Framework for Engineering Interactions in Java-based Component Systems},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {43--61},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.032},
doi = {10.1016/J.ENTCS.2005.12.032},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NataliORV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Peschanski06,
author = {Fr{\'{e}}d{\'{e}}ric Peschanski},
editor = {Carlos Canal and
Mirko Viroli},
title = {Mobile Agents in Interaction Spaces},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {63--82},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.033},
doi = {10.1016/J.ENTCS.2005.12.033},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Peschanski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmaroPR07,
author = {Silvia Amaro and
Ernesto Pimentel and
Ana M. Rold{\'{a}}n},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Preliminary Comparative Study on the Expressive Power of Reo and
Linda},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {3--19},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.043},
doi = {10.1016/J.ENTCS.2006.10.043},
timestamp = {Tue, 06 Dec 2022 11:39:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmaroPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaragattiBMMS07,
author = {Alberto Baragatti and
Roberto Bruni and
Hern{\'{a}}n C. Melgratti and
Ugo Montanari and
Giorgio Spagnolo},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Prototype Platforms for Distributed Agreements},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {21--40},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.044},
doi = {10.1016/J.ENTCS.2006.10.044},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BaragattiBMMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiCP07,
author = {Antonio Brogi and
Carlos Canal and
Ernesto Pimentel},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Behavioural Types for Service Integration: Achievements and Challenges},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {41--54},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.045},
doi = {10.1016/J.ENTCS.2006.10.045},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrogiCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiJP07,
author = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.042},
doi = {10.1016/J.ENTCS.2006.10.042},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrogiJP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuidiLM07,
author = {Claudio Guidi and
Roberto Lucchi and
Manuel Mazzara},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Formal Framework for Web Services Coordination},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {55--70},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.046},
doi = {10.1016/J.ENTCS.2006.10.046},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuidiLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LindenJ07,
author = {Isabelle Linden and
Jean{-}Marie Jacquet},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {On the Expressiveness of Timed Coordination via Shared Dataspaces},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {71--89},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.047},
doi = {10.1016/J.ENTCS.2006.10.047},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LindenJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ribeiro-JustoSK07,
author = {George R. Ribeiro{-}Justo and
Ahmed Saleh and
Tereska Karran},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Intelligent Reconfiguration of Dynamic Distributed Components},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {91--106},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.08.039},
doi = {10.1016/J.ENTCS.2006.08.039},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ribeiro-JustoSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Safranek07,
author = {David Safr{\'{a}}nek},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Visual Specification of Systems with Heterogeneous Coordination Models},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {107--121},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.048},
doi = {10.1016/J.ENTCS.2006.10.048},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Safranek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ViroliO07,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {123--144},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.049},
doi = {10.1016/J.ENTCS.2006.10.049},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ViroliO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2003,
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/97/suppl/C},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AiguieBP04,
author = {Marc Aiguier and
Fabrice Barbier and
Pascal Poizat},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Logic with Temporal Glue for Mixed Specifications},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {155--174},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.035},
doi = {10.1016/J.ENTCS.2004.04.035},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AiguieBP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlfaroS04,
author = {Luca de Alfaro and
Mari{\"{e}}lle Stoelinga},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Interfaces: {A} Game-Theoretic Framework for Reasoning About Component-Based
Systems},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {3--23},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.030},
doi = {10.1016/J.ENTCS.2004.04.030},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlfaroS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArbabBRS04,
author = {Farhad Arbab and
Christel Baier and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Modeling Component Connectors in Reo by Constraint Automata: (Extended
Abstract)},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {25--46},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.028},
doi = {10.1016/J.ENTCS.2004.04.028},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArbabBRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BezemT04,
author = {Marc Bezem and
Hoang Truong},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Type System for the Safe Instantiation of Components},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {197--217},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.037},
doi = {10.1016/J.ENTCS.2004.04.037},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BezemT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonelliCG04,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Elsa L. Gunter},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Correspondence Assertions for Process Synchronization in Concurrent
Communications},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {175--195},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.036},
doi = {10.1016/J.ENTCS.2004.04.036},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonelliCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiCP04,
author = {Antonio Brogi and
Carlos Canal and
Ernesto Pimentel},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {On the specification of software adaptation},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {47--65},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.031},
doi = {10.1016/J.ENTCS.2004.04.031},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrogiCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiJP04,
author = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Preface: Proceedings of {FOCLASA} 2003, the Foundations of Coordination
Languages and Software Architectures, a satellite event of {CONCUR}
2003},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.029},
doi = {10.1016/J.ENTCS.2004.04.029},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrogiJP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CortellessaMI04,
author = {Vittorio Cortellessa and
Antinisca Di Marco and
Paola Inverardi},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Three Performance Models at Work: {A} Software Designer Perspective},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {219--239},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.038},
doi = {10.1016/J.ENTCS.2004.04.038},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CortellessaMI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JulienPR04,
author = {Christine Julien and
Jamie Payton and
Gruia{-}Catalin Roman},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Reasoning About Context-Awareness in the Presence of Mobility},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {259--276},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.040},
doi = {10.1016/J.ENTCS.2004.04.040},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JulienPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LindenJBB04,
author = {Isabelle Linden and
Jean{-}Marie Jacquet and
Koenraad De Bosschere and
Antonio Brogi},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {On the Expressiveness of Relative-Timed Coordination Models},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {125--153},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.034},
doi = {10.1016/J.ENTCS.2004.04.034},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LindenJBB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LopesF04,
author = {Ant{\'{o}}nia Lopes and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Adding Mobility to Software Architectures},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {241--258},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.039},
doi = {10.1016/J.ENTCS.2004.04.039},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LopesF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenezesOV04,
author = {Ronaldo Menezes and
Andrea Omicini and
Mirko Viroli},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {On the Semantics of Coordination Models for Distributed Systems: The
LogOp Case Study},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {97--124},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.033},
doi = {10.1016/J.ENTCS.2004.04.033},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MenezesOV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Viroli04,
author = {Mirko Viroli},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Verifying Properties of Coordination by Well-Structured Transition
Systems},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {67--96},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.032},
doi = {10.1016/J.ENTCS.2004.04.032},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Viroli04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foclasa/2002,
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foclasa/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AaltonenHKKM03,
author = {Timo Aaltonen and
Joni Helin and
Mika Katara and
Pertti Kellom{\"{a}}ki and
Tommi Mikkonen},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Coordinating Aspects and Objects},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {248--267},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80372-X},
doi = {10.1016/S1571-0661(05)80372-X},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AaltonenHKKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrannstromJ03,
author = {Mikael Brannstrom and
Erland Jungert},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {A Scalable Agent Architecture for a Dynamic Sensor Network},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {268--283},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80373-1},
doi = {10.1016/S1571-0661(05)80373-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrannstromJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiJ03,
author = {Antonio Brogi and
Jean{-}Marie Jacquet},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Preface},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {247},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80371-8},
doi = {10.1016/S1571-0661(05)80371-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrogiJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiJL03,
author = {Antonio Brogi and
Jean{-}Marie Jacquet and
Isabelle Linden},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {On Modeling Coordination via Asynchronous Communication and Enhanced
Matching},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {284--309},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82568-X},
doi = {10.1016/S1571-0661(05)82568-X},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrogiJL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiGLZ03,
author = {Nadia Busi and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {SecSpaces: a Data-driven Coordination Model for Environments Open
to Untrusted Agents},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {310--327},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80375-5},
doi = {10.1016/S1571-0661(05)80375-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BusiGLZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FieldV03,
author = {John Field and
Carlos A. Varela},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Towards a Programming Model for Building Reliable Systems with Distributed
State},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {328--346},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80376-7},
doi = {10.1016/S1571-0661(05)80376-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FieldV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB03,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {A Channel-based Coordination Model for Components},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {419--438},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80381-0},
doi = {10.1016/S1571-0661(05)80381-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guillen-ScholtenABB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JacquetBGK03,
author = {Jean{-}Marie Jacquet and
Lubos Brim and
David R. Gilbert and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Coordination by Means of Synchronous and Asynchronous Communication
in Concurrent Constraint Programming},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {347--370},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80377-9},
doi = {10.1016/S1571-0661(05)80377-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JacquetBGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrzanP03,
author = {Simona Orzan and
Jaco van de Pol},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Distribution of a Simple Shared Dataspace Architecture},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {371--388},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80378-0},
doi = {10.1016/S1571-0661(05)80378-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrzanP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Safranek03,
author = {David Safr{\'{a}}nek},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {{SGCCS:} {A} Graphical Language for Real-time Coordination},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {389--404},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80379-2},
doi = {10.1016/S1571-0661(05)80379-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Safranek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SalehJW03,
author = {Ahmed Saleh and
George R. Ribeiro{-}Justo and
Stephen C. Winter},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Non-Functional Oriented Dynamic Integration of Distributed Components},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {405--418},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80380-9},
doi = {10.1016/S1571-0661(05)80380-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SalehJW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VallecilloVR03,
author = {Antonio Vallecillo and
Vasco Thudichum Vasconcelos and
Ant{\'{o}}nio Ravara},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Typing the Behavior of Objects and Component Using Session Types},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {439--456},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80382-2},
doi = {10.1016/S1571-0661(05)80382-2},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VallecilloVR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ViroliO03,
author = {Mirko Viroli and
Andrea Omicini},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {Coordination as a Service: Ontological and Formal Foundation},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {457--482},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80383-4},
doi = {10.1016/S1571-0661(05)80383-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ViroliO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-13 17:37 CET 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:
