Back to Results
First PageMeta Content
Mathematical analysis / Adjoint functors / F-coalgebra / Theoretical computer science / Functors / Coalgebra / Markov chain / Monad / Bisimulation / Category theory / Mathematics / Abstract algebra


Document Date: 2013-03-10 09:53:36

Open Document

File Size: 529,88 KB

Share Result on Facebook

Company

Austrian Science Funds / Coalgebra / Markov / /

/

Facility

Computer Sciences University of Salzburg Austria Abstract We / /

IndustryTerm

meets probabilistic systems / reactive and generative systems / nondeterministic transition systems / continuous systems / continuous probabilistic systems / probabilistic systems / continuous space probabilistic systems / transition systems / iterative algorithms / /

Organization

Computer Sciences University of Salzburg Austria Abstract We / /

Person

Schroeder / Ana Sokolova / /

Position

Corresponding author / /

URL

http /

SocialTag