Unifying Guarded and Unguarded Iteration (bibtex)
by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Reference:
Unifying Guarded and Unguarded Iteration (Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg), In Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Javier Esparza, Andrzej Murawski, eds.), 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:
@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/_media/research: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>.},
  }
Powered by bibtexbrowser