Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions

Ingo Battenfeld, Matthias Schröder. Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. Electronic Notes in Theoretical Computer Science, 276:105-119, 2011. [doi]

Abstract

Abstract is missing.