Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Guarded and unguarded iteration for generalized processes
Sergey Goncharov
, Lutz Schröder
, Christoph Rauch
, Maciej Piróg
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Guarded and unguarded iteration for generalized processes'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Generalized Processes
100%
Iterative Monad
100%
Recursive Formula
75%
Monads
50%
Elgot Monad
50%
Guardedness
50%
Guard
25%
Unique Solution
25%
Word Model
25%
Unique Solvability
25%
Kleisli Category
25%
Fixpoint
25%
Recursive Definition
25%
Guarded Iteration
25%
Complete Elgot Monad
25%
Recursive Call
25%
Mathematics
Recursive Equation
100%
Solvability
66%
Main Result
33%
Unique Solution
33%
Recursive Definition
33%
Computer Science
Recursive Equation
100%
Unique Solution
33%
Recursive Definition
33%