The following pages link to Prakash Panangaden (Q283764):
Displaying 50 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- An exact expression for photon polarization in Kerr geometry (Q485862) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Quantum communication in Rindler spacetime (Q695572) (← links)
- Type theory and concurrency (Q1124322) (← links)
- Concurrent common knowledge: Defining agreement for asynchronous systems (Q1200914) (← links)
- The expressive power of indeterminate dataflow primitives (Q1201292) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Discrete quantum causal dynamics (Q1421608) (← links)
- (Q1575235) (redirect page) (← links)
- Generating irregular partitionable data structures (Q1575237) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- Nuclear and trace ideals in tensored \(^*\)-categories (Q1818626) (← links)
- Fond (and frank) memories of Frank (Q2026777) (← links)
- Weighted automata are compact and actively learnable (Q2032169) (← links)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- A categorical characterization of relative entropy on standard Borel spaces (Q2130589) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
- Causality in physics and computation (Q2253173) (← links)
- Weak bisimulation is sound and complete for pCTL\(^*\) (Q2266992) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- A domain of spacetime intervals in general relativity (Q2458458) (← links)
- Anonymity protocols as noisy channels (Q2482451) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Strong Completeness for Markovian Logics (Q2849951) (← links)
- Conformal Field Theory as a Nuclear Functor (Q2864148) (← links)
- Distributed Measurement-based Quantum Computation (Q2864169) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- Combining Epistemic Logic and Hennessy-Milner Logic (Q2897954) (← links)
- Dexter Kozen’s Influence on the Theory of Labelled Markov Processes (Q2897969) (← links)
- Taking It to the Limit: Approximate Reasoning for Markov Processes (Q2912766) (← links)
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi (Q2914378) (← links)
- Minimization via Duality (Q2915026) (← links)
- (Q2918879) (← links)
- The expressive power of indeterminate primitives in asynchronous computation (Q2956679) (← links)
- The Search for Structure in Quantum Computation (Q3000595) (← links)
- Dagger Categories and Formal Distributions (Q3000924) (← links)
- Proof Nets as Formal Feynman Diagrams (Q3000925) (← links)
- Domain Theory and General Relativity (Q3000929) (← links)
- A Categorical Presentation of Quantum Computation with Anyons (Q3000933) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- Quantum Information Channels in Curved Spacetime (Q3091459) (← links)
- (Q3204053) (← links)
- Bisimulation Metrics for Continuous Markov Decision Processes (Q3225169) (← links)
- Domain Theory and the Causal Structure of Space-Time (Q3507458) (← links)
