Search dblp for Publications

export results for "toc:db/journals/entcs/entcs255.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AbouzaidM09,
  author       = {Faisal Abouzaid and
                  John Mullins},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Model-checking Web Services Orchestrations using BP-calculus},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {3--21},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.022},
  doi          = {10.1016/J.ENTCS.2009.10.022},
  timestamp    = {Tue, 06 Dec 2022 12:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbouzaidM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AndovaGSV09,
  author       = {Suzana Andova and
                  Luuk Groenewegen and
                  J. Stafleu and
                  Erik P. de Vink},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Formalizing Adaptation On-the-Fly},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {23--44},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.023},
  doi          = {10.1016/J.ENTCS.2009.10.023},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndovaGSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CamposB09,
  author       = {Marco Devesas Campos and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Implementation of an Orchestration Language as a Haskell Domain Specific
                  Language},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {45--64},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.024},
  doi          = {10.1016/J.ENTCS.2009.10.024},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CamposB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuranOS09,
  author       = {Francisco Dur{\'{a}}n and
                  Meriem Ouederni and
                  Gwen Sala{\"{u}}n},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Checking Protocol Compatibility using Maude},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {65--81},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.025},
  doi          = {10.1016/J.ENTCS.2009.10.025},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranOS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HenrioK09,
  author       = {Ludovic Henrio and
                  Florian Kamm{\"{u}}ller},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Functional Active Objects: Typing and Formalisation},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {83--101},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.026},
  doi          = {10.1016/J.ENTCS.2009.10.026},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HenrioK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kemper09,
  author       = {Stephanie Kemper},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {SAT-based Verification for Timed Component Connectors},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {103--118},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.027},
  doi          = {10.1016/J.ENTCS.2009.10.027},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kemper09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MengA09,
  author       = {Sun Meng and
                  Farhad Arbab},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Connectors as Designs},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {119--135},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.028},
  doi          = {10.1016/J.ENTCS.2009.10.028},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MengA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PourvatanSHA09,
  author       = {Bahman Pourvatan and
                  Marjan Sirjani and
                  Hossein Hojjat and
                  Farhad Arbab},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Automated Analysis of Reo Circuits using Symbolic Execution},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {137--158},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.029},
  doi          = {10.1016/J.ENTCS.2009.10.029},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PourvatanSHA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RoohiSM09,
  author       = {Nima Roohi and
                  Gwen Sala{\"{u}}n and
                  Seyed{-}Hassan Mirian{-}Hosseinabadi},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Analyzing Chor Specifications by Translation into {FSP}},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {159--176},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.030},
  doi          = {10.1016/J.ENTCS.2009.10.030},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RoohiSM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/foclasa/2009,
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/255/suppl/C},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foclasa/2009.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.