A Metalanguage for Guarded Iteration

Goncharov S, Rauch C, Schröder L (2018)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2018

Publisher: Springer International Publishing

Pages Range: 191--210

Conference Proceedings Title: Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187)

Event location: Stellenbosch, South Africa

ISBN: 978-3-030-02507-6

DOI: 10.1007/978-3-030-02508-3

Authors with CRIS profile

Sergey Goncharov Lehrstuhl für Informatik 8 (Theoretische Informatik) Christoph Rauch Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

A High Level Language for Monad-based Processes (HighMoon/HighMoon2) Sept. 1, 2013 - Oct. 31, 2020

How to cite

APA:

Goncharov, S., Rauch, C., & Schröder, L. (2018). A Metalanguage for Guarded Iteration. In Bernd Fischer Tarmo Uustalu (Eds.), Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187) (pp. 191--210). Stellenbosch, South Africa: Springer International Publishing.

MLA:

Goncharov, Sergey, Christoph Rauch, and Lutz Schröder. "A Metalanguage for Guarded Iteration." Proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, Stellenbosch, South Africa Ed. Bernd Fischer Tarmo Uustalu, Springer International Publishing, 2018. 191--210.

BibTeX: Download