Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BehrKAM21,
  author       = {Nicolas Behr and
                  Jean Krivine and
                  Jakob L. Andersen and
                  Daniel Merkle},
  title        = {Rewriting theory for the life sciences: {A} unifying theory of {CTMC}
                  semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {884},
  pages        = {68--115},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.07.026},
  doi          = {10.1016/J.TCS.2021.07.026},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BehrKAM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CampbellP21,
  author       = {Graham Campbell and
                  Detlef Plump},
  title        = {Confluence up to garbage in graph transformation},
  journal      = {Theor. Comput. Sci.},
  volume       = {884},
  pages        = {1--22},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.06.010},
  doi          = {10.1016/J.TCS.2021.06.010},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CampbellP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LambersO21,
  author       = {Leen Lambers and
                  Fernando Orejas},
  title        = {Transformation rules with nested application conditions: Critical
                  pairs, initial conflicts {\&} minimality},
  journal      = {Theor. Comput. Sci.},
  volume       = {884},
  pages        = {44--67},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.07.023},
  doi          = {10.1016/J.TCS.2021.07.023},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LambersO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MarinPR21,
  author       = {Andrea Marin and
                  Carla Piazza and
                  Sabina Rossi},
  title        = {\emph{D}{\_}\emph{PSNI}: Delimited persistent stochastic non-interference},
  journal      = {Theor. Comput. Sci.},
  volume       = {884},
  pages        = {116--135},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.08.007},
  doi          = {10.1016/J.TCS.2021.08.007},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MarinPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/StunkelK21,
  author       = {Patrick St{\"{u}}nkel and
                  Harald K{\"{o}}nig},
  title        = {Single pushout rewriting in comprehensive systems of graph-like structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {884},
  pages        = {23--43},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.07.002},
  doi          = {10.1016/J.TCS.2021.07.002},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/StunkelK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}