Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/foclasa/2003,
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/97/suppl/C},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foclasa/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AiguieBP04,
  author       = {Marc Aiguier and
                  Fabrice Barbier and
                  Pascal Poizat},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {A Logic with Temporal Glue for Mixed Specifications},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {155--174},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.035},
  doi          = {10.1016/J.ENTCS.2004.04.035},
  timestamp    = {Tue, 06 Dec 2022 11:29:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AiguieBP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlfaroS04,
  author       = {Luca de Alfaro and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Interfaces: {A} Game-Theoretic Framework for Reasoning About Component-Based
                  Systems},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {3--23},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.030},
  doi          = {10.1016/J.ENTCS.2004.04.030},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlfaroS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArbabBRS04,
  author       = {Farhad Arbab and
                  Christel Baier and
                  Jan J. M. M. Rutten and
                  Marjan Sirjani},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Modeling Component Connectors in Reo by Constraint Automata: (Extended
                  Abstract)},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {25--46},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.028},
  doi          = {10.1016/J.ENTCS.2004.04.028},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArbabBRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BezemT04,
  author       = {Marc Bezem and
                  Hoang Truong},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {A Type System for the Safe Instantiation of Components},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {197--217},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.037},
  doi          = {10.1016/J.ENTCS.2004.04.037},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BezemT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BonelliCG04,
  author       = {Eduardo Bonelli and
                  Adriana B. Compagnoni and
                  Elsa L. Gunter},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Correspondence Assertions for Process Synchronization in Concurrent
                  Communications},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {175--195},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.036},
  doi          = {10.1016/J.ENTCS.2004.04.036},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BonelliCG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrogiCP04,
  author       = {Antonio Brogi and
                  Carlos Canal and
                  Ernesto Pimentel},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {On the specification of software adaptation},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {47--65},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.031},
  doi          = {10.1016/J.ENTCS.2004.04.031},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BrogiCP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrogiJP04,
  author       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Preface: Proceedings of {FOCLASA} 2003, the Foundations of Coordination
                  Languages and Software Architectures, a satellite event of {CONCUR}
                  2003},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.029},
  doi          = {10.1016/J.ENTCS.2004.04.029},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BrogiJP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CortellessaMI04,
  author       = {Vittorio Cortellessa and
                  Antinisca Di Marco and
                  Paola Inverardi},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Three Performance Models at Work: {A} Software Designer Perspective},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {219--239},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.038},
  doi          = {10.1016/J.ENTCS.2004.04.038},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CortellessaMI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JulienPR04,
  author       = {Christine Julien and
                  Jamie Payton and
                  Gruia{-}Catalin Roman},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Reasoning About Context-Awareness in the Presence of Mobility},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {259--276},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.040},
  doi          = {10.1016/J.ENTCS.2004.04.040},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JulienPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LindenJBB04,
  author       = {Isabelle Linden and
                  Jean{-}Marie Jacquet and
                  Koenraad De Bosschere and
                  Antonio Brogi},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {On the Expressiveness of Relative-Timed Coordination Models},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {125--153},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.034},
  doi          = {10.1016/J.ENTCS.2004.04.034},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LindenJBB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LopesF04,
  author       = {Ant{\'{o}}nia Lopes and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Adding Mobility to Software Architectures},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {241--258},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.039},
  doi          = {10.1016/J.ENTCS.2004.04.039},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LopesF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MenezesOV04,
  author       = {Ronaldo Menezes and
                  Andrea Omicini and
                  Mirko Viroli},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {On the Semantics of Coordination Models for Distributed Systems: The
                  LogOp Case Study},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {97--124},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.033},
  doi          = {10.1016/J.ENTCS.2004.04.033},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MenezesOV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Viroli04,
  author       = {Mirko Viroli},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Verifying Properties of Coordination by Well-Structured Transition
                  Systems},
  booktitle    = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
                  and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
                  France, September 2, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {97},
  pages        = {67--96},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.04.032},
  doi          = {10.1016/J.ENTCS.2004.04.032},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Viroli04.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.