Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/coordination/coordination2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/coordination/ArbabBBRS05,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Synthesis of Reo Circuits for Implementation of Component-Connector
Automata Specifications},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {236--251},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_16},
doi = {10.1007/11417019\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabBBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BernardoB05,
author = {Marco Bernardo and
Edoardo Bont{\`{a}}},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Preserving Architectural Properties in Multithreaded Code Generation},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {188--203},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_13},
doi = {10.1007/11417019\_13},
timestamp = {Fri, 10 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BernardoB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BocchiCR05,
author = {Laura Bocchi and
Paolo Ciancarini and
Davide Rossi},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Transactional Aspects in Semantic Based Discovery of Services},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {283--297},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_19},
doi = {10.1007/11417019\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BocchiCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BradfordMD05,
author = {Lindsay Bradford and
Stephen Milliner and
Marlon Dumas},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Experience Using a Coordination-Based Architecture for Adaptive Web
Content Provision},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {140--156},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_10},
doi = {10.1007/11417019\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BradfordMD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BusiZ05,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Prioritized and Parallel Reactions in Shared Data Space Coordination
Languages},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {204--219},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_14},
doi = {10.1007/11417019\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BusiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ColmanH05,
author = {Alan W. Colman and
Jun Han},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Coordination Systems in Role-Based Adaptive Software},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {63--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_5},
doi = {10.1007/11417019\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ColmanH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CortesiL05,
author = {Agostino Cortesi and
Francesco Logozzo},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Abstract Interpretation-Based Verification of Non-functional Requirements},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {49--62},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_4},
doi = {10.1007/11417019\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CortesiL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GroenewegenKV05,
author = {Luuk Groenewegen and
Niels van Kampenhout and
Erik P. de Vink},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Delegation Modeling with Paradigm},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {94--108},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_7},
doi = {10.1007/11417019\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GroenewegenKV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HirschkoffPS05,
author = {Daniel Hirschkoff and
Damien Pous and
Davide Sangiorgi},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {A Correct Abstract Machine for Safe Ambients},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {17--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_2},
doi = {10.1007/11417019\_2},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HirschkoffPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LaneseT05,
author = {Ivan Lanese and
Emilio Tuosto},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Synchronized Hyperedge Replacement for Heterogeneous Systems},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {220--235},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_15},
doi = {10.1007/11417019\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/LaneseT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MazzaraG05,
author = {Manuel Mazzara and
Sergio Govoni},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {A Case Study of Web Services Orchestration},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {1--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_1},
doi = {10.1007/11417019\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/MazzaraG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaFMPT05,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Ugo Montanari and
Rosario Pugliese and
Emilio Tuosto},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {A Process Calculus for QoS-Aware Applications},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {33--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_3},
doi = {10.1007/11417019\_3},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaFMPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaGP05,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Global Computing in a Dynamic Network of Tuple Spaces},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {157--172},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_11},
doi = {10.1007/11417019\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/OmiciniRV05,
author = {Andrea Omicini and
Alessandro Ricci and
Mirko Viroli},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Time-Aware Coordination in ReSpecT},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {268--282},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_18},
doi = {10.1007/11417019\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/OmiciniRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/OriolH05,
author = {Manuel Oriol and
Michael W. Hicks},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Tagged Sets: {A} Secure and Transparent Coordination Medium},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {252--267},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_17},
doi = {10.1007/11417019\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/OriolH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Park05,
author = {Taesoon Park},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile
Computing Systems},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {173--187},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_12},
doi = {10.1007/11417019\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Park05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Ray05,
author = {Arnab Ray},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Enforcing Distributed Information Flow Policies Architecturally: The
{SAID} Approach},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {125--139},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_9},
doi = {10.1007/11417019\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Ray05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/RusselloCS05,
author = {Giovanni Russello and
Michel R. V. Chaudron and
Maarten van Steen},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Dynamically Adapting Tuple Replication for Managing Availability in
a Shared Data Space},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {109--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_8},
doi = {10.1007/11417019\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/RusselloCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/UdzirWJ05,
author = {Nur Izura Udzir and
Alan M. Wood and
Jeremy L. Jacob},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Coordination with Multicapabilities},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {79--93},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_6},
doi = {10.1007/11417019\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/UdzirWJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2005,
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b135676},
doi = {10.1007/B135676},
isbn = {3-540-25630-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 07:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
