@inproceedings{ClarkeDN03,
  title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
  author = {Dave Clarke and Sophia Drossopoulou and James Noble},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3013&spage=197},
  tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/ClarkeDN03},
  cites = {0},
  citedby = {0},
  pages = {197-207},
  booktitle = {Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports},
  editor = {Frank Buschmann and Alejandro P. Buchmann and Mariano Cilia},
  volume = {3013},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22405-X},
}

@inproceedings{IzadiBC08,
  title = {Modeling Component Connectors: Synchronisation and Context-Dependency},
  author = {Mohammad Izadi and Marcello M. Bonsangue and Dave Clarke},
  year = {2008},
  doi = {10.1109/SEFM.2008.24},
  url = {http://dx.doi.org/10.1109/SEFM.2008.24},
  tags = {model synchronisation, meta-model, modeling, context-aware, Meta-Environment},
  researchr = {https://researchr.org/publication/IzadiBC08},
  cites = {0},
  citedby = {0},
  pages = {303-312},
  booktitle = {Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008},
  editor = {Antonio Cerone and Stefan Gruner},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3437-4},
}

@inproceedings{ClarkeJO10,
  title = {Concurrent Objects à la Carte},
  author = {Dave Clarke and Einar Broch Johnsen and Olaf Owe},
  year = {2010},
  doi = {10.1007/978-3-642-11512-7_12},
  url = {http://dx.doi.org/10.1007/978-3-642-11512-7_12},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClarkeJO10},
  cites = {0},
  citedby = {0},
  pages = {185-206},
  booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever},
  editor = {Dennis Dams and Ulrich Hannemann and Martin Steffen},
  volume = {5930},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11511-0},
}

@inproceedings{PierikCB05,
  title = {Controlling Object Allocation Using Creation Guards},
  author = {Cees Pierik and Dave Clarke and Frank S. de Boer},
  year = {2005},
  doi = {10.1007/11526841_6},
  url = {http://dx.doi.org/10.1007/11526841_6},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PierikCB05},
  cites = {0},
  citedby = {0},
  pages = {59-74},
  booktitle = {FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  editor = {John Fitzgerald and Ian J. Hayes and Andrzej Tarlecki},
  volume = {3582},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27882-6},
}

@article{Clarke06:0,
  title = {Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic},
  author = {Dave Clarke},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.062},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.062},
  tags = {logic},
  researchr = {https://researchr.org/publication/Clarke06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {159},
  pages = {61-77},
}

@article{LohCJ03-0,
  title = {Dependency-style generic haskell},
  author = {Andres Löh and Dave Clarke and Johan  Jeuring},
  year = {2003},
  doi = {10.1145/944746.944719},
  url = {http://doi.acm.org/10.1145/944746.944719},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LohCJ03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {38},
  number = {9},
  pages = {141-152},
}

@inproceedings{ClarkeDNW07:0,
  title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
  author = {Dave Clarke and Sophia Drossopoulou and James Noble and Tobias Wrigstad},
  year = {2007},
  doi = {10.1007/978-3-540-78195-0_5},
  url = {http://dx.doi.org/10.1007/978-3-540-78195-0_5},
  tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/ClarkeDNW07%3A0},
  cites = {0},
  citedby = {0},
  pages = {40-49},
  booktitle = {Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports},
  editor = {Michael Cebulla},
  volume = {4906},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78194-3},
}

@inproceedings{Clarke07,
  title = {Coordination: Reo, Nets, and Logic},
  author = {Dave Clarke},
  year = {2007},
  doi = {10.1007/978-3-540-92188-2_10},
  url = {http://dx.doi.org/10.1007/978-3-540-92188-2_10},
  tags = {logic},
  researchr = {https://researchr.org/publication/Clarke07},
  cites = {0},
  citedby = {0},
  pages = {226-256},
  booktitle = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {5382},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92187-5},
}

@article{PotaninNCB06:0,
  title = {Featherweight generic confinement},
  author = {Alex Potanin and James Noble and Dave Clarke and Robert Biddle},
  year = {2006},
  doi = {10.1017/S0956796806006125},
  url = {http://dx.doi.org/10.1017/S0956796806006125},
  researchr = {https://researchr.org/publication/PotaninNCB06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {16},
  number = {6},
  pages = {793-811},
}

@inproceedings{BoylandCLLP07,
  title = {Formal Techniques for Java-Like Programs},
  author = {John Boyland and Dave Clarke and Gary T. Leavens and Francesco Logozzo and Arnd Poetzsch-Heffter},
  year = {2007},
  doi = {10.1007/978-3-540-78195-0_10},
  url = {http://dx.doi.org/10.1007/978-3-540-78195-0_10},
  tags = {Java},
  researchr = {https://researchr.org/publication/BoylandCLLP07},
  cites = {0},
  citedby = {0},
  pages = {99-107},
  booktitle = {Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports},
  editor = {Michael Cebulla},
  volume = {4906},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78194-3},
}

@inproceedings{OstlundWCA08,
  title = {Ownership, Uniqueness, and Immutability},
  author = {Johan Östlund and Tobias Wrigstad and Dave Clarke and Beatrice Åkerblom},
  year = {2008},
  doi = {10.1007/978-3-540-69824-1_11},
  url = {http://dx.doi.org/10.1007/978-3-540-69824-1_11},
  researchr = {https://researchr.org/publication/OstlundWCA08},
  cites = {0},
  citedby = {0},
  pages = {178-197},
  booktitle = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008},
  editor = {Richard F. Paige and Bertrand Meyer},
  volume = {11},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-69823-4},
}

@inproceedings{ClarkeCA04,
  title = {Modelling Coordination in Biological Systems},
  author = {Dave Clarke and David Costa and Farhad Arbab},
  year = {2004},
  doi = {10.1007/11925040_2},
  url = {http://dx.doi.org/10.1007/11925040_2},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/ClarkeCA04},
  cites = {0},
  citedby = {0},
  pages = {9-25},
  booktitle = {Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {4313},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48928-2},
}

@article{ProencaC08,
  title = {Coordination Models Orc and Reo Compared},
  author = {José Proença and Dave Clarke},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.099},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.099},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/ProencaC08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {194},
  number = {4},
  pages = {57-76},
}

@inproceedings{PotterNC98,
  title = {The Ins and Outs of Objects},
  author = {John Potter and James Noble and Dave Clarke},
  year = {1998},
  url = {http://csdl.computer.org/dl/proceedings/aswec/1998/9187/00/91870080.pdf},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PotterNC98},
  cites = {0},
  citedby = {0},
  pages = {80-89},
  booktitle = {1998 Australian Software Engineering Conference (ASWEC  98), 9-13 November 1998, Adelaide, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-9187-5},
}

@inproceedings{KoehlerC09,
  title = {Decomposing port automata},
  author = {Christian Koehler and Dave Clarke},
  year = {2009},
  doi = {10.1145/1529282.1529587},
  url = {http://doi.acm.org/10.1145/1529282.1529587},
  researchr = {https://researchr.org/publication/KoehlerC09},
  cites = {0},
  citedby = {0},
  pages = {1369-1373},
  booktitle = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009},
  editor = {Sung Y. Shin and Sascha Ossowski},
  publisher = {ACM},
  isbn = {978-1-60558-166-8},
}

@article{ClarkeCA06,
  title = {Connector Colouring I: Synchronisation and Context Dependency},
  author = {Dave Clarke and David Costa and Farhad Arbab},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.035},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.035},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/ClarkeCA06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {154},
  number = {1},
  pages = {101-119},
}

@inproceedings{Clarke-GPCE-2010,
  title = {Abstract Delta Modeling},
  author = {Dave Clarke and Michiel Helvensteijn and Ina Schaefer},
  year = {2010},
  tags = {meta-model, modeling, Meta-Environment, model deltas},
  researchr = {https://researchr.org/publication/Clarke-GPCE-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010
},
  editor = {Eelco Visser and Jaakko Järvi},
  publisher = {ACM},
}

@inproceedings{ClarkeDNW07,
  title = {Tribe: a simple virtual class calculus},
  author = {Dave Clarke and Sophia Drossopoulou and James Noble and Tobias Wrigstad},
  year = {2007},
  doi = {10.1145/1218563.1218578},
  url = {http://doi.acm.org/10.1145/1218563.1218578},
  researchr = {https://researchr.org/publication/ClarkeDNW07},
  cites = {0},
  citedby = {0},
  pages = {121-134},
  booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007},
  editor = {Brian M. Barry and Oege de Moor},
  volume = {208},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {1-59593-615-7},
}

@inproceedings{LohCJ03,
  title = {Dependency-style generic Haskell},
  author = {Andres Löh and Dave Clarke and Johan  Jeuring},
  year = {2003},
  doi = {10.1145/944705.944719},
  url = {http://doi.acm.org/10.1145/944705.944719},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LohCJ03},
  cites = {0},
  citedby = {0},
  pages = {141-152},
  booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003},
  editor = {Colin Runciman and Olin Shivers},
  publisher = {ACM},
  isbn = {1-58113-756-7},
}

@article{ClarkeCA07,
  title = {Connector colouring I: Synchronisation and context dependency},
  author = {Dave Clarke and David Costa and Farhad Arbab},
  year = {2007},
  doi = {10.1016/j.scico.2007.01.009},
  url = {http://dx.doi.org/10.1016/j.scico.2007.01.009},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/ClarkeCA07},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {66},
  number = {3},
  pages = {205-225},
}

@inproceedings{NobleCP99,
  title = {Object Ownership for Dynamic Alias Protection},
  author = {James Noble and Dave Clarke and John Potter},
  year = {1999},
  doi = {10.1109/TOOLS.1999.809424},
  url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809424},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NobleCP99},
  cites = {0},
  citedby = {0},
  pages = {176-187},
  booktitle = {TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0462-0},
}

@article{ClarkePLA09,
  title = {Deconstructing Reo},
  author = {Dave Clarke and José Proença and Alexander Lazovik and Farhad Arbab},
  year = {2009},
  doi = {10.1016/j.entcs.2009.06.028},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.06.028},
  researchr = {https://researchr.org/publication/ClarkePLA09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {229},
  number = {2},
  pages = {43-58},
}

@inproceedings{ClarkeL02,
  title = {Generic Haskell, Specifically},
  author = {Dave Clarke and Andres Löh},
  year = {2002},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/ClarkeL02},
  cites = {0},
  citedby = {0},
  pages = {21-47},
  booktitle = {Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany},
  editor = {Jeremy Gibbons and Johan  Jeuring},
  volume = {243},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {1-4020-7374-7},
}

@inproceedings{DrossopoulouCN06,
  title = {Types for Hierarchic Shapes},
  author = {Sophia Drossopoulou and Dave Clarke and James Noble},
  year = {2006},
  doi = {10.1007/11693024_1},
  url = {http://dx.doi.org/10.1007/11693024_1},
  researchr = {https://researchr.org/publication/DrossopoulouCN06},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings},
  editor = {Peter Sestoft},
  volume = {3924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33095-X},
}

@inproceedings{ClarkeDMNW08,
  title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
  author = {Dave Clarke and Sophia Drossopoulou and Peter Müller and James Noble and Tobias Wrigstad},
  year = {2008},
  doi = {10.1007/978-3-642-02047-6_4},
  url = {http://dx.doi.org/10.1007/978-3-642-02047-6_4},
  tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/ClarkeDMNW08},
  cites = {0},
  citedby = {0},
  pages = {30-41},
  booktitle = {Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
  editor = {Patrick Eugster},
  volume = {5475},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02046-9},
}

@inproceedings{ClarkeW03,
  title = {External Uniqueness Is Unique Enough},
  author = {Dave Clarke and Tobias Wrigstad},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=176},
  researchr = {https://researchr.org/publication/ClarkeW03},
  cites = {0},
  citedby = {0},
  pages = {176-200},
  booktitle = {ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  editor = {Luca Cardelli},
  volume = {2743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40531-3},
}

@misc{Clarke01thegeneric,
  title = {The Generic Haskell User's Guide},
  author = {Dave Clarke and Johan  Jeuring and Andres Löh},
  year = {2001},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Clarke01thegeneric},
  cites = {0},
  citedby = {0},
}

@inproceedings{ClarkeWOJ08,
  title = {Minimal Ownership for Active Objects},
  author = {Dave Clarke and Tobias Wrigstad and Johan Östlund and Einar Broch Johnsen},
  year = {2008},
  doi = {10.1007/978-3-540-89330-1_11},
  url = {http://dx.doi.org/10.1007/978-3-540-89330-1_11},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClarkeWOJ08},
  cites = {0},
  citedby = {0},
  pages = {139-154},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings},
  editor = {Ganesan Ramalingam},
  volume = {5356},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89329-5},
}

@inproceedings{PotaninNCB06,
  title = {Generic ownership for generic Java},
  author = {Alex Potanin and James Noble and Dave Clarke and Robert Biddle},
  year = {2006},
  doi = {10.1145/1167473.1167500},
  url = {http://doi.acm.org/10.1145/1167473.1167500},
  tags = {Java},
  researchr = {https://researchr.org/publication/PotaninNCB06},
  cites = {0},
  citedby = {0},
  pages = {311-324},
  booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@article{WrigstadC07,
  title = {Existential Owners for Ownership Types},
  author = {Tobias Wrigstad and Dave Clarke},
  year = {2007},
  url = {http://www.jot.fm//issues/issue_2007_05/article5},
  researchr = {https://researchr.org/publication/WrigstadC07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Object Technology},
  volume = {6},
  number = {4},
  pages = {141-159},
}

@inproceedings{BonsangueCS09,
  title = {Automata for Context-Dependent Connectors},
  author = {Marcello M. Bonsangue and Dave Clarke and Alexandra Silva},
  year = {2009},
  doi = {10.1007/978-3-642-02053-7_10},
  url = {http://dx.doi.org/10.1007/978-3-642-02053-7_10},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/BonsangueCS09},
  cites = {0},
  citedby = {0},
  pages = {184-203},
  booktitle = {Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  editor = {John Field and Vasco Thudichum Vasconcelos},
  volume = {5521},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02052-0},
}

@inproceedings{AtanassowCJ04,
  title = {UUXML: A Type-Preserving XML Schema-Haskell Data Binding},
  author = {Frank Atanassow and Dave Clarke and Johan  Jeuring},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=71},
  tags = {XML, XML Schema, Haskell},
  researchr = {https://researchr.org/publication/AtanassowCJ04},
  cites = {0},
  citedby = {0},
  pages = {71-85},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  editor = {Bharat Jayaraman},
  volume = {3057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22253-7},
}

@inproceedings{ClarkeCA04a,
  title = {Modelling Coordination in Biological Systems},
  author = {Dave Clarke and David Costa and Farhad Arbab},
  year = {2004},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/ClarkeCA04a},
  cites = {0},
  citedby = {0},
  pages = {58-66},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
  volume = {TR-2004-6},
  series = {Technical Report},
  publisher = {Department of Computer Science, University of Cyprus},
}

@inproceedings{BoerCJ07,
  title = {A Complete Guide to the Future},
  author = {Frank S. de Boer and Dave Clarke and Einar Broch Johnsen},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_22},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_22},
  tags = {completeness},
  researchr = {https://researchr.org/publication/BoerCJ07},
  cites = {0},
  citedby = {0},
  pages = {316-330},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Rocco De Nicola},
  volume = {4421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71314-2},
}

@article{Clarke08:0,
  title = {A Basic Logic for Reasoning about Connector Reconfiguration},
  author = {Dave Clarke},
  year = {2008},
  url = {http://iospress.metapress.com/content/y727h82347061252/},
  tags = {logic},
  researchr = {https://researchr.org/publication/Clarke08%3A0},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {82},
  number = {4},
  pages = {361-390},
}

@inproceedings{ClarkeRN03,
  title = {Saving the world from bad beans: deployment-time confinement checking},
  author = {Dave Clarke and Michael Richmond and James Noble},
  year = {2003},
  doi = {10.1145/949305.949339},
  url = {http://doi.acm.org/10.1145/949305.949339},
  tags = {deployment},
  researchr = {https://researchr.org/publication/ClarkeRN03},
  cites = {0},
  citedby = {0},
  pages = {374-387},
  booktitle = {Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
  editor = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-712-5},
}

@inproceedings{ArbabBCLM08,
  title = {Tiles for Reo},
  author = {Farhad Arbab and Roberto Bruni and Dave Clarke and Ivan Lanese and Ugo Montanari},
  year = {2008},
  doi = {10.1007/978-3-642-03429-9_4},
  url = {http://dx.doi.org/10.1007/978-3-642-03429-9_4},
  researchr = {https://researchr.org/publication/ArbabBCLM08},
  cites = {0},
  citedby = {0},
  pages = {37-55},
  booktitle = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers},
  editor = {Andrea Corradini and Ugo Montanari},
  volume = {5486},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03428-2},
}
@proceedings{coordination-2010,
  title = {Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  year = {2010},
  doi = {10.1007/978-3-642-13414-2},
  url = {http://dx.doi.org/10.1007/978-3-642-13414-2},
  tags = {modeling language, modeling, language modeling},
  researchr = {https://researchr.org/publication/coordination-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  conference = {coordination},
  editor = {Dave Clarke and Gul A. Agha},
  volume = {6116},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13413-5},
}