Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/Cirstea02,
  author       = {Corina C{\^{\i}}rstea},
  title        = {A coalgebraic equational approach to specifying observational structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {35--68},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00020-2},
  doi          = {10.1016/S0304-3975(01)00020-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cirstea02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CorradiniHM02,
  author       = {Andrea Corradini and
                  Reiko Heckel and
                  Ugo Montanari},
  title        = {Compositional {SOS} and beyond: a coalgebraic view of open systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {163--192},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00025-1},
  doi          = {10.1016/S0304-3975(01)00025-1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CorradiniHM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JacobsR02,
  author       = {Bart Jacobs and
                  Jan J. M. M. Rutten},
  title        = {Coalgebraic Methods in Computer Science - Foreword},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {1},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00018-4},
  doi          = {10.1016/S0304-3975(01)00018-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JacobsR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KurzH02,
  author       = {Alexander Kurz and
                  Rolf Hennicker},
  title        = {On institutions for modular coalgebraic specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {69--103},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00021-4},
  doi          = {10.1016/S0304-3975(01)00021-4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KurzH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lasota02,
  author       = {Slawomir Lasota},
  title        = {Coalgebra morphisms subsume open maps},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {123--135},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00023-8},
  doi          = {10.1016/S0304-3975(01)00023-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lasota02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PavlovicP02,
  author       = {Dusko Pavlovic and
                  Vaughan R. Pratt},
  title        = {The continuum as a final coalgebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {105--122},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00022-6},
  doi          = {10.1016/S0304-3975(01)00022-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PavlovicP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PowerW02,
  author       = {John Power and
                  Hiroshi Watanabe},
  title        = {Combining a monad and a comonad},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {137--162},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00024-X},
  doi          = {10.1016/S0304-3975(01)00024-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PowerW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wolter02,
  author       = {Uwe Wolter},
  title        = {CSP, partial automata, and coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {3--34},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00019-6},
  doi          = {10.1016/S0304-3975(01)00019-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wolter02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}