Unifying Guarded and Unguarded Iteration

Goncharov S, Schröder L, Rauch C, Piróg M (2017)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer

Series: LNCS

City/Town: Berlin

Conference Proceedings Title: Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)

Event location: Uppsala SE

Authors with CRIS profile

Sergey Goncharov Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik) Christoph Rauch 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

Involved external institutions

Katholieke Universiteit Leuven (KUL) / Catholic University of Leuven BE Belgium (BE)

How to cite

APA:

Goncharov, S., Schröder, L., Rauch, C., & Piróg, M. (2017). Unifying Guarded and Unguarded Iteration. In Esparza Javier , Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Berlin: Springer.

MLA:

Goncharov, Sergey, et al. "Unifying Guarded and Unguarded Iteration." Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala Ed. Esparza Javier , Murawski Andrzej, Berlin: Springer, 2017.

BibTeX: Download