Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/entcs/GoguenR99,
  author    = {Joseph A. Goguen and
               Grigore Rosu},
  title     = {A protocol for distributed cooperative work},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {3},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80625-5},
  doi       = {10.1016/S1571-0661(05)80625-5},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GoguenR99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HirschM99,
  author    = {Dan Hirsch and
               Ugo Montanari},
  title     = {Consistent transformations for software architecture styles of distributed
               systems},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {4},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80626-7},
  doi       = {10.1016/S1571-0661(05)80626-7},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/HirschM99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Krishnan99,
  author    = {Padmanabhan Krishnan},
  title     = {Distributed timed automata},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {5--21},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80627-9},
  doi       = {10.1016/S1571-0661(05)80627-9},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Krishnan99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Morin99,
  author    = {R{\'{e}}mi Morin},
  title     = {Hierarchy of asynchronous automata},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {22--39},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80628-0},
  doi       = {10.1016/S1571-0661(05)80628-0},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Morin99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PenczekA99,
  author    = {Wojciech Penczek and
               Stanislaw Ambroszkiewicz},
  title     = {Model checking of causal knowledge formulas},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {40--58},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)82524-1},
  doi       = {10.1016/S1571-0661(05)82524-1},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PenczekA99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PetreSW99,
  author    = {Luigia Petre and
               Kaisa Sere and
               Marina Wald{\'{e}}n},
  title     = {A topological approach to distributed computing},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {59--80},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80630-9},
  doi       = {10.1016/S1571-0661(05)80630-9},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PetreSW99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/StaunerG99,
  author    = {Thomas Stauner and
               Christoph Grimm},
  title     = {Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow
               Graphs},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {81--100},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80631-0},
  doi       = {10.1016/S1571-0661(05)80631-0},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/StaunerG99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Stefanescu99,
  author    = {Gheorghe Stefanescu},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {1--2},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80624-3},
  doi       = {10.1016/S1571-0661(05)80624-3},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Stefanescu99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Todoran99,
  author    = {Eneia Todoran},
  title     = {Metric semantics for synchronous and asynchronous communication: a
               continuation-based approach},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {101--127},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80632-2},
  doi       = {10.1016/S1571-0661(05)80632-2},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Todoran99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics