Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDPrakash Panangaden
Person information
- affiliation: McGill University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c105]Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare:
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. AISTATS 2020: 4357-4366- [c104]Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton:
Latent Variable Modelling with Hyperbolic Normalizing Flows. ICML 2020: 1045-1055 - [i22]Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton:
Latent Variable Modelling with Hyperbolic Normalizing Flows. CoRR abs/2002.06336 (2020) - [i21]Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare:
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. CoRR abs/2003.12239 (2020) - [i20]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020) - [i19]Gavin McCracken, Colin Daniels, Rosie Zhao, Anna Brandenberger, Prakash Panangaden, Doina Precup:
A Study of Policy Gradient on a Class of Exactly Solvable Models. CoRR abs/2011.01859 (2020) - [i18]Artem Kaznatcheev, Prakash Panangaden:
Weighted automata are compact and actively learnable. CoRR abs/2011.10498 (2020) - [i17]Pedro Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts:
Universal Semantics for the Stochastic Lambda-Calculus. CoRR abs/2011.13171 (2020)
2010 – 2019
- 2019
- [j62]Florence Clerc, Nathanaël Fijalkow, Bartek Klin
, Prakash Panangaden:
Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. 267: 145-163 (2019) - [j61]Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. Math. Struct. Comput. Sci. 29(9): 1444-1478 (2019) - [c103]Philip Amortila, Marc G. Bellemare, Prakash Panangaden, Doina Precup:
Temporally Extended Metrics for Markov Decision Processes. SafeAI@AAAI 2019 - [c102]Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. MFPS 2019: 45-63 - [i16]Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. CoRR abs/1904.00976 (2019) - 2018
- [j60]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Free complete Wasserstein algebras. Log. Methods Comput. Sci. 14(3) (2018) - [c101]Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott:
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS 2018: 669-678 - [c100]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
An Algebraic Theory of Markov Processes. LICS 2018: 679-688 - [c99]Nicolas Gagné, Prakash Panangaden:
A Categorical Characterization of Relative Entropy on Standard Borel Spaces. MFPS 2018: 135-153 - [i15]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Free complete Wasserstein algebras. CoRR abs/1802.07366 (2018) - [i14]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
On the Axiomatizability of Quantitative Algebras. CoRR abs/1804.01682 (2018) - 2017
- [j59]Prakash Panangaden:
Editorial comments on the short note by Barry Jay. J. Log. Algebraic Methods Program. 87: 4 (2017) - [j58]Prakash Panangaden:
The 2017 Alonzo Church award. ACM SIGLOG News 4(3): 3-9 (2017) - [j57]Prakash Panangaden:
2017 LICS test-of-time award. ACM SIGLOG News 4(3): 10 (2017) - [j56]Prakash Panangaden:
2017 Kleene award. ACM SIGLOG News 4(3): 10 (2017) - [c98]Florence Clerc, Harrison Humphrey, Prakash Panangaden:
Bicategories of Markov Processes. Models, Algorithms, Logics and Tools 2017: 112-124 - [c97]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation Metrics for Weighted Automata. ICALP 2017: 103:1-103:14 - [c96]Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of Probabilistic Modal Logics, Revisited. ICALP 2017: 105:1-105:12 - [c95]Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Unrestricted stone duality for Markov processes. LICS 2017: 1-9 - [c94]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
On the axiomatizability of quantitative algebras. LICS 2017: 1-12 - [i13]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation Metrics for Weighted Automata. CoRR abs/1702.08017 (2017) - [i12]Nicolas Gagné, Prakash Panangaden:
A categorical characterization of relative entropy on Polish spaces. CoRR abs/1703.08853 (2017) - [i11]Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. CoRR abs/1711.05994 (2017) - 2016
- [j55]Matty Hoban, Bart Jacobs, Prakash Panangaden:
Preface. Inf. Comput. 250: 1-2 (2016) - [j54]Ichiro Hasuo, Prakash Panangaden:
Special Issue on Quantum Physics and Logic. New Gener. Comput. 34(1-2): 1-2 (2016) - [j53]Michael W. Mislove, Prakash Panangaden:
Semantics column. ACM SIGLOG News 3(3): 44-46 (2016) - [c93]Prakash Panangaden:
Fond (and Frank) Memories of Frank. Theory and Practice of Formal Methods 2016: 6-8 - [c92]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Quantitative Algebraic Reasoning. LICS 2016: 700-709 - 2015
- [j52]Prakash Panangaden:
Probabilistic bisimulation. ACM SIGLOG News 2(3): 72-84 (2015) - [c91]Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI 2015: 3578-3584 - [c90]Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI 2015: 4202-4203 - [c89]Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. FMICS 2015: 198-211 - [c88]Borja Balle, Prakash Panangaden, Doina Precup:
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. LICS 2015: 701-712 - [c87]Gheorghe Comanici, Doina Precup, Prakash Panangaden:
Basis refinement strategies for linear value function approximation in MDPs. NIPS 2015: 2899-2907 - [c86]Costin Badescu, Prakash Panangaden:
Quantum Alternation: Prospects and Problems. QPL 2015: 33-42 - [i10]Borja Balle, Prakash Panangaden, Doina Precup:
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. CoRR abs/1501.06841 (2015) - 2014
- [j51]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. J. ACM 61(1): 5:1-5:45 (2014) - [j50]Prakash Panangaden:
Causality in physics and computation. Theor. Comput. Sci. 546: 10-16 (2014) - [j49]Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [c85]Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger:
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics 2014: 90-107 - [c84]Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka:
Fair reactive programming. POPL 2014: 361-372 - [c83]Dexter Kozen, Radu Mardare, Prakash Panangaden:
A Metrized Duality Theorem for Markov Processes. MFPS 2014: 211-227 - [e8]Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents] - [e7]Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents] - 2013
- [j48]S. Barry Cooper, Elham Kashefi, Prakash Panangaden:
Preface to special issue: Developments In Computational Models 2010. Math. Struct. Comput. Sci. 23(2): 201-203 (2013) - [c82]Prakash Panangaden:
Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations 2013: 277-290 - [c81]Prakash Panangaden:
Duality in Logic and Computation. LICS 2013: 4-11 - [c80]Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Stone Duality for Markov Processes. LICS 2013: 321-330 - [c79]Dexter Kozen, Radu Mardare, Prakash Panangaden:
Strong Completeness for Markovian Logics. MFCS 2013: 655-666 - [e6]Bob Coecke, Luke Ong, Prakash Panangaden:
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 [contents] - 2012
- [j47]Richard Blute, Prakash Panangaden, Sergey Slavnov:
Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. 20(3): 209-228 (2012) - [j46]Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13(4): 28:1-28:35 (2012) - [c78]Sophia Knight, Radu Mardare, Prakash Panangaden:
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics 2012: 219-243 - [c77]Prakash Panangaden:
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics 2012: 334-337 - [c76]Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia:
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332 - [c75]Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden:
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692 - [c74]Gheorghe Comanici, Prakash Panangaden, Doina Precup:
On-the-Fly Algorithms for Bisimulation Metrics. QEST 2012: 94-103 - [c73]Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden:
Minimization via Duality. WoLLIC 2012: 191-205 - [c72]Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. MFPS 2012: 3 - [p2]Prakash Panangaden:
Probabilistic bisimulation. Advanced Topics in Bisimulation and Coinduction 2012: 290-323 - [i9]Norman Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden:
Methods for computing state similarity in Markov Decision Processes. CoRR abs/1206.6836 (2012) - [i8]Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. CoRR abs/1207.1386 (2012) - [i7]Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. CoRR abs/1207.4114 (2012) - 2011
- [j45]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. Electron. Notes Theor. Comput. Sci. 270(1): 1-2 (2011) - [j44]Bob Coecke, Prakash Panangaden, Peter Selinger:
Preface. Electron. Notes Theor. Comput. Sci. 270(2): 1-2 (2011) - [j43]Norm Ferns, Prakash Panangaden, Doina Precup:
Bisimulation Metrics for Continuous Markov Decision Processes. SIAM J. Comput. 40(6): 1662-1714 (2011) - [c71]Prakash Panangaden:
Quantum Information Channels in Curved Spacetime. CiE 2011: 221-229 - [c70]Prakash Panangaden:
The Search for Structure in Quantum Computation. FoSSaCS 2011: 1-11 - [c69]Prakash Panangaden:
The Meaning of Semantics. LICS 2011: 4-5 - [c68]Monica Dinculescu, Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
The Duality of State and Observation in Probabilistic Transition Systems. TbiLLC 2011: 206-230 - 2010
- [j42]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010) - [j41]Susanna Donatelli, Prakash Panangaden, Gerardo Rubino:
Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation 67(9): 757-758 (2010) - [c67]Prakash Panangaden, Mehrnoosh Sadrzadeh:
Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST 2010: 128-141 - [c66]Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh:
An Algebraic Approach to Dynamic Epistemic Logic. Description Logics 2010 - [c65]Prakash Panangaden, Mehrnoosh Sadrzadeh:
Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS 2010: 82-95 - [e5]S. Barry Cooper, Prakash Panangaden, Elham Kashefi:
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, 2010 [contents]
2000 – 2009
- 2009
- [b3]Prakash Panangaden:
Labelled Markov Processes. Imperial College Press 2009, ISBN 978-1-84816-287-7, pp. I-XII, 1-199 - [j40]Steve Kremer, Prakash Panangaden:
Preface. Electron. Notes Theor. Comput. Sci. 242(3): 1-2 (2009) - [c64]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Labelled Markov Processes Again! CALCO 2009: 145-156 - [c63]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138 - [c62]Pablo Samuel Castro, Prakash Panangaden, Doina Precup:
Equivalence Relations in Fully and Partially Observable Markov Decision Processes. IJCAI 2009: 1653-1658 - [c61]Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009: 153-166 - 2008
- [j39]Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Preface. Electron. Notes Theor. Comput. Sci. 212: 1 (2008) - [j38]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity protocols as noisy channels. Inf. Comput. 206(2-4): 378-401 (2008) - [j37]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
On the Bayes risk in information-hiding protocols. J. Comput. Secur. 16(5): 531-571 (2008) - [j36]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
Foreword. Theor. Comput. Sci. 405(1-2): 1-2 (2008) - [c60]Keye Martin, Prakash Panangaden:
Domain Theory and the Causal Structure of Space-Time. CiE 2008: 428-430 - [c59]Prakash Panangaden:
Knowledge and Information in Probabilistic Systems. CONCUR 2008: 4 - [c58]Jonathan Taylor, Doina Precup, Prakash Panangaden:
Bounding Performance Loss in Approximate MDP Homomorphisms. NIPS 2008: 1649-1656 - [c57]Yannick Delbecque, Prakash Panangaden:
Game Semantics for Quantum Stores. MFPS 2008: 153-170 - [c56]Keye Martin, Prakash Panangaden:
A Technique for Verifying Measurements. MFPS 2008: 261-273 - 2007
- [j35]Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden:
Distributed Measurement-based Quantum Computation. Electron. Notes Theor. Comput. Sci. 170: 73-94 (2007) - [j34]Richard Blute, Prakash Panangaden, Dorette Pronk:
Conformal Field Theory as a Nuclear Functor. Electron. Notes Theor. Comput. Sci. 172: 101-132 (2007) - [j33]Vincent Danos, Elham Kashefi, Prakash Panangaden:
The measurement calculus. J. ACM 54(2): 8 (2007) - [c55]Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
Representing Systems with Hidden State. AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development 2007: 17-23 - [c54]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Probability of Error in Information-Hiding Protocols. CSF 2007: 341-354 - [c53]Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial). TGC 2007: 347-362 - [e4]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Dagstuhl Seminar Proceedings 06341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [j32]Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006) - [j31]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. 2(1) (2006) - [j30]Ellie D'Hondt, Prakash Panangaden:
Quantum weakest preconditions. Math. Struct. Comput. Sci. 16(3): 429-451 (2006) - [j29]Ellie D'Hondt, Prakash Panangaden:
The computational power of the W And GHZ States. Quantum Inf. Comput. 6(2): 173-183 (2006) - [j28]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
Foreword. Theor. Comput. Sci. 365(3): 169-170 (2006) - [c52]Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
Representing Systems with Hidden State. AAAI 2006: 368-374 - [c51]Vincent Danos, Elham Kashefi, Prakash Panangaden:
The One Way to Quantum Computation. ICALP (2) 2006: 13-21 - [c50]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity Protocols as Noisy Channels. TGC 2006: 281-300 - [c49]Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden:
Methods for Computing State Similarity in Markov Decision Processes. UAI 2006 - [i6]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. Computational Structures for Modelling Space, Time and Causality 2006 - 2005
- [c48]Ellie D'Hondt, Prakash Panangaden:
Reasoning About Quantum Knowledge. FSTTCS 2005: 553-564 - [c47]Prakash Panangaden:
Foreword. LICS 2005 - [c46]Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup:
An approximation algorithm for labelled Markov processes: towards realistic approximation. QEST 2005: 54-62 - [c45]Norm Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. UAI 2005: 201-208 - [i5]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005 - [i4]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005 - [i3]Keye Martin, Prakash Panangaden:
A domain of spacetime intervals in general relativity. Spatial Representation 2005 - [i2]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. CoRR abs/cs/0505063 (2005) - 2004
- [b2]Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden:
Mathematical techniques for analyzing concurrent and probabilistic systems. CRM monograph series 23, American Mathematical Society 2004, ISBN 978-0-8218-3571-5, pp. I-VIII, 1-215 - [j27]Josée Desharnais, Prakash Panangaden:
Preface. Electron. Notes Theor. Comput. Sci. 87: 1-3 (2004) - [j26]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations. Electron. Notes Theor. Comput. Sci. 87: 157-203 (2004) - [j25]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. 14(5): 613-649 (2004) - [j24]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004) - [c44]Norm Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. AAAI 2004: 950-951 - [c43]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313 - [c42]Norm Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. UAI 2004: 162-169 - [i1]Riccardo Pucella, Prakash Panangaden:
On the Expressive Power of First-Order Boolean Functions in PCF. CoRR cs.PL/0405085 (2004) - 2003
- [j23]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003) - [j22]Josée Desharnais, Prakash Panangaden:
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebraic Methods Program. 56(1-2): 99-115 (2003) - [j21]Uwe Nestmann, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 (2003) - [c41]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482 - [e3]