Unifying Guarded and Unguarded Iteration (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: Unifying Guarded and Unguarded Iteration, In Javier Esparza, Andrzej Murawski, eds.: Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Lect. Notes Comput. Sci. (ArCOSS), vol. 10203, pp. 517–533, Springer, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_30.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{GoncharovSchroederEtAl17,
  author = 	 {Sergey Goncharov and Lutz Schr\"oder and Christoph Rauch and Maciej Pir\'og},
  title = 	 {Unifying Guarded and Unguarded Iteration},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)},
  year = 	 {2017},
  editor = 	 {Javier Esparza and Andrzej Murawski},
  volume    = {10203},
  OPTnumber = 	 {},
  series = 	 {Lect. Notes Comput. Sci. (ArCOSS)},
  pages     = {517--533},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  url = {https://www8.cs.fau.de/ext/papers/elgot-retract.pdf},  
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-54458-7_30">http://dx.doi.org/10.1007/978-3-662-54458-7_30</a>.},
  }