A High Level Language for Monad-based Processes (HighMoon/HighMoon2)

Automata Learning: An Algebraic Approach (2020) Urbat H, Schröder L Conference contribution, Original article Implementing Hybrid Semantics: From Functional to Imperative (2020) Goncharov S, Neves R, Proença J Conference contribution Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (2020) Polzer M, Goncharov S Conference contribution An Adequate While-Language for Hybrid Computation (2019) Goncharov S, Neves R Conference contribution Guarded and Unguarded Iteration for Generalized Processes (2019) Goncharov S, Schröder L, Rauch C, Pirog M Journal article Unguarded Recursion on Coinductive Resumptions (2018) Goncharov S, Schröder L, Rauch C, Jakob J Journal article, Original article A Semantics for Hybrid Iteration (2018) Goncharov S, Neves R Conference contribution, Conference Contribution A Metalanguage for Guarded Iteration (2018) Goncharov S, Rauch C, Schröder L Conference contribution, Conference Contribution Guarded Traced Categories (2018) Goncharov S, Schröder L Conference contribution, Conference Contribution Unifying Guarded and Unguarded Iteration (2017) Goncharov S, Schröder L, Rauch C, Piróg M Conference contribution, Original article