A Semantics for Hybrid Iteration

Goncharov S, Neves R (2018)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2018

Event location: Beijing, China

DOI: 10.4230/LIPIcs.CONCUR.2018.22

Open Access Link: http://drops.dagstuhl.de/opus/volltexte/2018/9560/pdf/LIPIcs-CONCUR-2018-22.pdf

Authors with CRIS profile

Sergey Goncharov 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., & Neves, R. (2018). A Semantics for Hybrid Iteration. In Proceedings of the 29th International Conference on Concurrency Theory, CONCUR 2018. Beijing, China.

MLA:

Goncharov, Sergey, and Renato Neves. "A Semantics for Hybrid Iteration." Proceedings of the 29th International Conference on Concurrency Theory, CONCUR 2018, Beijing, China 2018.

BibTeX: Download