Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/GoguenR99,
  author       = {Joseph A. Goguen and
                  Grigore Rosu},
  editor       = {Gheorghe Stefanescu},
  title        = {A protocol for distributed cooperative work},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {3},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80625-5},
  doi          = {10.1016/S1571-0661(05)80625-5},
  timestamp    = {Wed, 23 Nov 2022 16:22:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoguenR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HirschM99,
  author       = {Dan Hirsch and
                  Ugo Montanari},
  editor       = {Gheorghe Stefanescu},
  title        = {Consistent transformations for software architecture styles of distributed
                  systems},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {4},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80626-7},
  doi          = {10.1016/S1571-0661(05)80626-7},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HirschM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Krishnan99,
  author       = {Padmanabhan Krishnan},
  editor       = {Gheorghe Stefanescu},
  title        = {Distributed timed automata},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {5--21},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80627-9},
  doi          = {10.1016/S1571-0661(05)80627-9},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Krishnan99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Morin99,
  author       = {R{\'{e}}mi Morin},
  editor       = {Gheorghe Stefanescu},
  title        = {Hierarchy of asynchronous automata},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {22--39},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80628-0},
  doi          = {10.1016/S1571-0661(05)80628-0},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Morin99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PenczekA99,
  author       = {Wojciech Penczek and
                  Stanislaw Ambroszkiewicz},
  editor       = {Gheorghe Stefanescu},
  title        = {Model checking of causal knowledge formulas},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {40--58},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)82524-1},
  doi          = {10.1016/S1571-0661(05)82524-1},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PenczekA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PetreSW99,
  author       = {Luigia Petre and
                  Kaisa Sere and
                  Marina Wald{\'{e}}n},
  editor       = {Gheorghe Stefanescu},
  title        = {A topological approach to distributed computing},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {59--80},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80630-9},
  doi          = {10.1016/S1571-0661(05)80630-9},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PetreSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StaunerG99,
  author       = {Thomas Stauner and
                  Christoph Grimm},
  editor       = {Gheorghe Stefanescu},
  title        = {Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow
                  Graphs},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {81--100},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80631-0},
  doi          = {10.1016/S1571-0661(05)80631-0},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StaunerG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stefanescu99,
  author       = {Gheorghe Stefanescu},
  editor       = {Gheorghe Stefanescu},
  title        = {Preface},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80624-3},
  doi          = {10.1016/S1571-0661(05)80624-3},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Stefanescu99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Todoran99,
  author       = {Eneia Todoran},
  editor       = {Gheorghe Stefanescu},
  title        = {Metric semantics for synchronous and asynchronous communication: a
                  continuation-based approach},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {101--127},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80632-2},
  doi          = {10.1016/S1571-0661(05)80632-2},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Todoran99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/1999wds,
  editor       = {Gheorghe Stefanescu},
  title        = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/28/suppl/C},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/1999wds.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics