Guarded and Unguarded Iteration for Generalized Processes (bibtex)

by Sergey Goncharov, Lutz Schröder, Christoph Rauch and Maciej Piróg

Reference:

Sergey Goncharov, Lutz Schröder, Christoph Rauch and Maciej Piróg: Guarded and Unguarded Iteration for Generalized Processes, In Logical Methods in Computer Science, 15(3), 2019.

Bibtex Entry:

@Article{         GoncharovSchroderEtAl19,
author    = {Sergey Goncharov and
               Lutz Schr{\"{o}}der and
               Christoph Rauch and
               Maciej Pir{\'{o}}g},
  title     = {Guarded and Unguarded Iteration for Generalized Processes},
  journal   = {Logical Methods in Computer Science},
  volume    = {15},
  number    = {3},
  year      = {2019},
  url       = {https://doi.org/10.23638/LMCS-15(3:1)2019},
  doi       = {10.23638/LMCS-15(3:1)2019},
}