Search dblp for Publications

export results for "toc:db/conf/coordination/coordination2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/coordination/AndradeFGKW02,
  author       = {Lu{\'{\i}}s Filipe Andrade and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Jo{\~{a}}o Gouveia and
                  Georgios Koutsoukos and
                  Michel Wermelinger},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordination for Orchestration},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {5--13},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_4},
  doi          = {10.1007/3-540-46000-4\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/AndradeFGKW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/AnkolekarHS02,
  author       = {Anupriya Ankolekar and
                  Frank Huch and
                  Katia P. Sycara},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Concurrent Semantics for the Web Services Specification Language {DAML-S}},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {14--21},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_5},
  doi          = {10.1007/3-540-46000-4\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/AnkolekarHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/ArbabM02,
  author       = {Farhad Arbab and
                  Farhad Mavaddat},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordination through Channel Composition},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {22--39},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_6},
  doi          = {10.1007/3-540-46000-4\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/ArbabM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BernardoF02,
  author       = {Marco Bernardo and
                  Francesco Franz{\`{e}}},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Exogenous and Endogenous Extensions of Architectural Types},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {40--55},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_7},
  doi          = {10.1007/3-540-46000-4\_7},
  timestamp    = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BernardoF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BettiniBV02,
  author       = {Lorenzo Bettini and
                  Viviana Bono and
                  Betti Venneri},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordinating Mobile Object-Oriented Code},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {56--71},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_8},
  doi          = {10.1007/3-540-46000-4\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BettiniBV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BettiniNL02,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Formalizing Properties of Mobile Agent Systems},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {72--87},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_9},
  doi          = {10.1007/3-540-46000-4\_9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BettiniNL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BraccialiBC02,
  author       = {Andrea Bracciali and
                  Antonio Brogi and
                  Carlos Canal},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Dynamically Adapting the Behaviour of Software Components},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {88--95},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_10},
  doi          = {10.1007/3-540-46000-4\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BraccialiBC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BrowneKT02,
  author       = {James C. Browne and
                  Kevin Kane and
                  Hongxia Tian},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {An Associative Broadcast Based Coordination Model for Distributed
                  Processes},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {96--110},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_11},
  doi          = {10.1007/3-540-46000-4\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BrowneKT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/BusiRZ02,
  author       = {Nadia Busi and
                  Antony I. T. Rowstron and
                  Gianluigi Zavattaro},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {State- and Event-Based Reactive Programming in Shared Dataspaces},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {111--124},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_12},
  doi          = {10.1007/3-540-46000-4\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BusiRZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/CostaAD02,
  author       = {Carlos J. Costa and
                  Pedro Antunes and
                  Jo{\~{a}}o Ferreira Dias},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Integrating Two Organizational Systems through Communication Genres},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {125--132},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_13},
  doi          = {10.1007/3-540-46000-4\_13},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/CostaAD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Cruz02,
  author       = {Juan Carlos Cruz},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {OpenCoLaS a Coordination Framework for CoLaS Dialects},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {133--140},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_14},
  doi          = {10.1007/3-540-46000-4\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Cruz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/CuestaFBB02,
  author       = {Carlos Enrique Cuesta Quintero and
                  Pablo de la Fuente and
                  Manuel Barrio{-}Sol{\'{o}}rzano and
                  Maria Encarnaci{\'{o}}n Beato Guti{\'{e}}rrez},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordination in a Reflective Architecture Description Language},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {141--148},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_15},
  doi          = {10.1007/3-540-46000-4\_15},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/CuestaFBB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/EdenJ02,
  author       = {Amnon H. Eden and
                  Jens H. Jahnke},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordinating Software Evolution via Two-Tier Programming},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {149--157},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_16},
  doi          = {10.1007/3-540-46000-4\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/EdenJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/FrozzaA02,
  author       = {Rejane Frozza and
                  Luis Ot{\'{a}}vio Alvares},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Criteria for the Analysis of Coordination in Multi-agent Applications},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {158--165},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_17},
  doi          = {10.1007/3-540-46000-4\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/FrozzaA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Gibbons02,
  author       = {Jeremy Gibbons},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Towards a Colimit-Based Semantics for Visual Programming},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {166--173},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_18},
  doi          = {10.1007/3-540-46000-4\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Gibbons02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/GoossensG02,
  author       = {Kees G. W. Goossens and
                  Om Prakash Gangwal},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {The Cost of Communication Protocols and Coordination Languages in
                  Embedded Systems},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {174--190},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_19},
  doi          = {10.1007/3-540-46000-4\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/GoossensG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/GroenewegenV02,
  author       = {Luuk Groenewegen and
                  Erik P. de Vink},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Operational Semantics for Coordination in Paradigm},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {191--206},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_20},
  doi          = {10.1007/3-540-46000-4\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/GroenewegenV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/HandoreanR02,
  author       = {Radu Handorean and
                  Gruia{-}Catalin Roman},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Service Provision in Ad Hoc Networks},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {207--219},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_21},
  doi          = {10.1007/3-540-46000-4\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/HandoreanR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Hiraishi02,
  author       = {Kunihiko Hiraishi},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {PN\({}^{\mbox{2}}\): An Elementary Model for Design and Analysis of
                  Multi-agent Systems},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {220--235},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_22},
  doi          = {10.1007/3-540-46000-4\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Hiraishi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/LeeCSLLY02,
  author       = {Hwa{-}Min Lee and
                  Kwang{-}Sik Chung and
                  Sang{-}Chul Shin and
                  Dae{-}Won Lee and
                  Won{-}Gyu Lee and
                  Heon{-}Chang Yu},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A Recovery Technique Using Multi-agent in Distributed Computing Systems},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {236--249},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_23},
  doi          = {10.1007/3-540-46000-4\_23},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/LeeCSLLY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/PerezCRT02,
  author       = {Jos{\'{e}} Antonio P{\'{e}}rez and
                  Rafael Corchuelo and
                  David Ruiz and
                  Miguel Toro},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {An Order-Based, Distributed Algorithm for Implementing Multiparty
                  Interactions},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {250--257},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_24},
  doi          = {10.1007/3-540-46000-4\_24},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/PerezCRT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/PiccoB02,
  author       = {Gian Pietro Picco and
                  Marco L. Buschini},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Exploiting Transiently Shared Tuple Spaces for Location Transparent
                  Code Mobility},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {258--273},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_25},
  doi          = {10.1007/3-540-46000-4\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PiccoB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/PolE02,
  author       = {Jaco van de Pol and
                  Miguel Valero Espada},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Formal Specification of JavaSpaces Architecture Using {\(\mathrm{\mu}\)}CRL},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {274--290},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_26},
  doi          = {10.1007/3-540-46000-4\_26},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PolE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/RicciOD02,
  author       = {Alessandro Ricci and
                  Andrea Omicini and
                  Enrico Denti},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Objective vs. Subjective Coordination in Agent-Based Systems: {A}
                  Case Study},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {291--299},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_27},
  doi          = {10.1007/3-540-46000-4\_27},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/RicciOD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/SampleKW02,
  author       = {Neal Sample and
                  Pedram Keyani and
                  Gio Wiederhold},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Scheduling under Uncertainty: Planning for the Ubiquitous Grid},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {300--316},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_28},
  doi          = {10.1007/3-540-46000-4\_28},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/SampleKW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/SnyderM02,
  author       = {Jim Snyder and
                  Ronaldo Menezes},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Using Logical Operators as an Extended Coordination Mechanism in Linda},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {317--331},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_29},
  doi          = {10.1007/3-540-46000-4\_29},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/SnyderM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Stam02,
  author       = {Andries Stam},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {A Framework for Coordinating Parallel Branch and Bound Algorithms},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {332--339},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_30},
  doi          = {10.1007/3-540-46000-4\_30},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Stam02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Stevens02,
  author       = {Perdita Stevens},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Playing Games with Software Design},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {1},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_1},
  doi          = {10.1007/3-540-46000-4\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Stevens02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Tata02,
  author       = {Samir Tata},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Policies for Cooperative Virtual Teams},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {340--347},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_31},
  doi          = {10.1007/3-540-46000-4\_31},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Tata02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/TolksdorfR02,
  author       = {Robert Tolksdorf and
                  Gregor Rojec{-}Goldmann},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {The {SPACETUB} Models and Framework},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {348--363},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_32},
  doi          = {10.1007/3-540-46000-4\_32},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/TolksdorfR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/ViroliO02,
  author       = {Mirko Viroli and
                  Andrea Omicini},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Tuple-Based Models in the Observation Framework},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {364--379},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_33},
  doi          = {10.1007/3-540-46000-4\_33},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/ViroliO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/Waldo02,
  author       = {Jim Waldo},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordination and System Design in a Network-Centric Age},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {2--3},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_2},
  doi          = {10.1007/3-540-46000-4\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Waldo02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/WellsCC02,
  author       = {George Wells and
                  Alan Chalmers and
                  Peter Clayton},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Extending the Matching Facilities of Linda},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {380--388},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_34},
  doi          = {10.1007/3-540-46000-4\_34},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/WellsCC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/WojciechowskiMS02,
  author       = {Pawel T. Wojciechowski and
                  Sergio Mena and
                  Andr{\'{e}} Schiper},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Semantics of Protocol Modules Composition and Interaction},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {389--404},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_35},
  doi          = {10.1007/3-540-46000-4\_35},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/WojciechowskiMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/WooldridgeH02,
  author       = {Michael J. Wooldridge and
                  Wiebe van der Hoek},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic
                  Logic and Its Applications},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {4},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_3},
  doi          = {10.1007/3-540-46000-4\_3},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/WooldridgeH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/coordination/2002,
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4},
  doi          = {10.1007/3-540-46000-4},
  isbn         = {3-540-43410-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.