Search dblp for Publications

export results for "toc:db/conf/foclasa/foclasa2004.bht:"

 download as .bib file

@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}
}

@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}
}

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.