TY  - RPRT
TI  - Guarded and Unguarded Iteration for Generalized Processes
AU  - Sergey Goncharov
AU  - Lutz Schröder
AU  - Christoph Rauch
AU  - Maciej Piróg
PY  - 2019
DO  - 10.23638/lmcs-15(3:1)2019
UR  - https://arxiv.org/abs/1712.09574
ID  - 1712.09574
ER  -