Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Prakash Panangaden
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
Mathematics
Computer Science
Deep Inference and Probabilistic Coherence Spaces
Applied Categorical Structures
Computer Science
Theoretical Computer Science
Minimization via Duality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Unrestricted Stone Duality for Markov Processes
The Expressive Power of Indeterminate Dataflow Primitives
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Domain-Theoretic Model for a Higher-Order Process Calculus
