Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/coordination/AcciaiBZ10,
  author       = {Lucia Acciai and
                  Michele Boreale and
                  Gianluigi Zavattaro},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Behavioural Contracts with Request-Response Operations},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_2},
  doi          = {10.1007/978-3-642-13414-2\_2},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/AcciaiBZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniDLGS10,
  author       = {Lorenzo Bettini and
                  Ferruccio Damiani and
                  Marco De Luca and
                  Kathrin Geilmann and
                  Jan Sch{\"{a}}fer},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {A Calculus for Boxes and Traits in a Java-Like Setting},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_4},
  doi          = {10.1007/978-3-642-13414-2\_4},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BettiniDLGS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CalzolaiL10,
  author       = {Francesco Calzolai and
                  Michele Loreti},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Simulation and Analysis of Distributed Systems in Klaim},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_9},
  doi          = {10.1007/978-3-642-13414-2\_9},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/CalzolaiL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CarretonD10,
  author       = {Andoni Lombide Carreton and
                  Theo D'Hondt},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc
                  Networks},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_6},
  doi          = {10.1007/978-3-642-13414-2\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/CarretonD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/FokRL10,
  author       = {Chien{-}Liang Fok and
                  Gruia{-}Catalin Roman and
                  Chenyang Lu},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Coordinating Resource Usage through Adaptive Service Provisioning
                  in Wireless Sensor Networks},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_8},
  doi          = {10.1007/978-3-642-13414-2\_8},
  timestamp    = {Tue, 05 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/FokRL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Godskesen10,
  author       = {Jens Chr. Godskesen},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Observables for Mobile and Wireless Broadcasting Systems},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_1},
  doi          = {10.1007/978-3-642-13414-2\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Godskesen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JayaramE10,
  author       = {K. R. Jayaram and
                  Patrick Th. Eugster},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Scalable Efficient Composite Event Detection},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_12},
  doi          = {10.1007/978-3-642-13414-2\_12},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/JayaramE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Kemper10,
  author       = {Stephanie Kemper},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Compositional Construction of Real-Time Dataflow Networks},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_7},
  doi          = {10.1007/978-3-642-13414-2\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Kemper10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PhilipsSJ10,
  author       = {Eline Philips and
                  Ragnhild Van Der Straeten and
                  Viviane Jonckers},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {{NOW:} {A} Workflow Language for Orchestration in Nomadic Networks},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_3},
  doi          = {10.1007/978-3-642-13414-2\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PhilipsSJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PlociniczakE10,
  author       = {Hubert Plociniczak and
                  Susan Eisenbach},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {JErlang: Erlang with Joins},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_5},
  doi          = {10.1007/978-3-642-13414-2\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PlociniczakE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SivaramakrishnanNZE10,
  author       = {K. C. Sivaramakrishnan and
                  Karthik Nagaraj and
                  Lukasz Ziarek and
                  Patrick Eugster},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Efficient Session Type Guided Distributed Interaction},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_11},
  doi          = {10.1007/978-3-642-13414-2\_11},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/SivaramakrishnanNZE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Vanit-Anunchai10,
  author       = {Somsak Vanit{-}Anunchai},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Modelling Railway Interlocking Tables Using Coloured Petri Nets},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_10},
  doi          = {10.1007/978-3-642-13414-2\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Vanit-Anunchai10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2010,
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2},
  doi          = {10.1007/978-3-642-13414-2},
  isbn         = {978-3-642-13413-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics