Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. J. M. M. Rutten
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coalgebra, Concurrency, and Control
Related publications
Enhanced Coalgebraic Bisimulation
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Weak Bisimulation for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
New Bisimulation Semantics for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Bisimulation Relations for Dynamical, Control, and Hybrid Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Knowledge Engineering Approach for Image Classification Based on Probabilistic Reasoning Systems
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Bisimulation for Dynamic Sealing
ACM SIGPLAN Notices
