Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/foclasa/2006,
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/2},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foclasa/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BarbosaB07,
  author       = {Marco Antonio Barbosa and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Configurations of Web Services},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {39--57},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.004},
  doi          = {10.1016/J.ENTCS.2007.03.004},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarbosaB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrogiCCCP07,
  author       = {Antonio Brogi and
                  Javier C{\'{a}}mara and
                  Carlos Canal and
                  Javier Cubo and
                  Ernesto Pimentel},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Dynamic Contextual Adaptation},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {81--95},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.005},
  doi          = {10.1016/J.ENTCS.2007.03.005},
  timestamp    = {Tue, 15 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BrogiCCCP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CanalV07,
  author       = {Carlos Canal and
                  Mirko Viroli},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.001},
  doi          = {10.1016/J.ENTCS.2007.03.001},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CanalV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CasadeiGV07,
  author       = {Matteo Casadei and
                  Luca Gardelli and
                  Mirko Viroli},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Simulating Emergent Properties of Coordination in Maude: the Collective
                  Sort Case},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {59--80},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.022},
  doi          = {10.1016/J.ENTCS.2007.05.022},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CasadeiGV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChothiaK07,
  author       = {Tom Chothia and
                  Jetty Kleijn},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Q-Automata: Modelling the Resource Usage of Concurrent Components},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {153--167},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.009},
  doi          = {10.1016/J.ENTCS.2007.03.009},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChothiaK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CiobanuP07,
  author       = {Gabriel Ciobanu and
                  Cristian Prisacariu},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Coordination by Timers for Channel-Based Anonymous Communications},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.002},
  doi          = {10.1016/J.ENTCS.2007.03.002},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CiobanuP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FilipeM07,
  author       = {Juliana K{\"{u}}ster Filipe and
                  Sotiris Moschoyiannis},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Concurrent Logic and Automata Combined: {A} Semantics for Components},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {135--151},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.008},
  doi          = {10.1016/J.ENTCS.2007.03.008},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FilipeM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KluppelholzB07,
  author       = {Sascha Kl{\"{u}}ppelholz and
                  Christel Baier},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Symbolic Model Checking for Channel-based Component Connectors},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {19--37},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.003},
  doi          = {10.1016/J.ENTCS.2007.03.003},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KluppelholzB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KohlerR07,
  author       = {Michael K{\"{o}}hler and
                  Heiko R{\"{o}}lke},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Dynamic Transition Refinement},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {119--134},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.007},
  doi          = {10.1016/J.ENTCS.2007.03.007},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KohlerR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Omicini07,
  author       = {Andrea Omicini},
  editor       = {Carlos Canal and
                  Mirko Viroli},
  title        = {Formal ReSpecT in the A{\&}A Perspective},
  booktitle    = {Proceedings of the Fifth International Workshop on the Foundations
                  of Coordination Languages and Software Architectures, {FOCLASA} 2006,
                  Bonn, Germany, August 31, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {2},
  pages        = {97--117},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.006},
  doi          = {10.1016/J.ENTCS.2007.03.006},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Omicini07.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.