Guarded Traced Categories (bibtex)
by Sergey Goncharov, Lutz Schröder
Reference:
Guarded Traced Categories (Sergey Goncharov, Lutz Schröder), In Proc. 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 (Christel Baier, Ugo Dal Lago, eds.), LNCS, vol. 10803, pp. 313–330, Springer, 2018.
Bibtex Entry:
@inproceedings{GoncharovSchroder18,
  author    = {Sergey Goncharov and
               Lutz Schr{\"{o}}der},
  title     = {Guarded Traced Categories},
  booktitle = {Proc. 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018},
  pages     = {313--330},
  url       = {https://doi.org/10.1007/978-3-319-89366-2_17},
  doi       = {10.1007/978-3-319-89366-2_17},
  editor    = {Christel Baier and
               Ugo Dal Lago},
  series    = {LNCS},
  volume    = {10803},
  publisher = {Springer},
  year      = {2018},
}
Powered by bibtexbrowser