A Metalanguage for Guarded Iteration (bibtex)

by Sergey Goncharov, Christoph Rauch and Lutz Schröder

Reference:

Sergey Goncharov, Christoph Rauch and Lutz Schröder: A Metalanguage for Guarded Iteration, In Bernd Fischer, Tarmo Uustalu, eds.: Theoretical Aspects of Computing – ICTAC 2018, pp. 191–210, Springer International Publishing, 2018. [ArXiv preprint]

Bibtex Entry:

@InProceedings{	  GoncharovRauchEtAl18,
  author	= "Goncharov, Sergey and Rauch, Christoph and Schr{\"o}der,
		  Lutz",
  editor	= "Fischer, Bernd and Uustalu, Tarmo",
  title		= "A Metalanguage for Guarded Iteration",
  booktitle	= "Theoretical Aspects of Computing -- ICTAC 2018",
  year		= "2018",
  publisher	= "Springer International Publishing",
  address	= "Cham",
  pages		= "191--210",
  note = { <a href = "https://arxiv.org/abs/1807.11256"> [ArXiv preprint] </a> }
}