Edit Profile Panangaden, Prakash Compute Distance To: Compute Author ID: panangaden.prakash Published as: Panagaden, Prakash; Panangaden, P.; Panangaden, Prakash Documents Indexed: 116 Publications since 1979, including 17 Books Biographic References: 2 Publications all top 5 Co-Authors 16 single-authored 11 Mardare, Radu 10 Desharnais, Josée 9 Danos, Vincent 8 Jagadeesan, Radha 7 Blute, Richard F. 7 Plotkin, Gordon D. 6 Gupta, Vineet 6 Kashefi, Elham 5 Coecke, Bob 5 Kozen, Dexter C. 5 Martin, Keye 4 Chatzikokolakis, Konstantinos 4 D’Hondt, Ellie 4 Knight, Sophia 4 Palamidessi, Catuscia 4 Precup, Doina 4 Shanbhogue, Vasant 3 Balle, Borja 3 Chaput, Philippe 3 Larsen, Kim Guldstrand 3 Selinger, Peter 2 Aceto, Luca 2 Bacci, Giorgio 2 Clerc, Florence 2 Cooper, Stuart Barry 2 Fijalkow, Nathanaël 2 Hasuo, Ichiro 2 Hildebrandt, Thomas T. 2 Ivanov, Ivan T. 2 Klin, Bartek 2 Smyth, Michael B. 2 Spreen, Dieter 2 Stark, Eugene W. 2 Winskel, Glynn 1 Abramsky, Samson 1 Bezhanishvili, Nick 1 Bonchi, Filippo 1 Bonsangue, Marcello Maria 1 Brádler, Kamil 1 Cave, Andrew 1 Chen, Yixiang 1 Cleaveland, Rance 1 Critchlov, C. 1 Critchlow, Carol 1 Delbecque, Yannick 1 Dinculescu, Monica 1 Duncan, Ross 1 Edalat, Abbas 1 Farooqui, Anusar 1 Ferns, Norm 1 Ferreira, Francisco H. G. 1 Furber, Robert D. 1 Furber, Robert W. J. 1 Gourdeau, Pascale 1 Guglielmi, Alessio 1 Hansen, Helle Hvid 1 Hayden, Patrick M. 1 Hoban, Matty J. 1 Humphrey, Harrison 1 Hundt, Christopher 1 Jacobs, Bart 1 Kamran, Niky 1 Keller, Robert M. 1 Kopperman, Ralph D. 1 Koppermann, Ralph 1 Kremer, Steve 1 Kupke, Clemens 1 Laviolette, François 1 Mackie, Ian 1 McAllester, David Allen 1 Mendler, Nax Paul 1 Nestmann, Uwe 1 Ong, Luke 1 Paquette, Éric Oliver 1 Perdrix, Simon 1 Pientka, Brigitte 1 Pineau, Joelle 1 Pingali, Keshav K. 1 Pronk, Dorette A. 1 Pucella, Riccardo 1 Rutten, Jan J. M. M. 1 Sadrzadeh, Mehrnoosh 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Seely, Robert A. G. 1 Silva, Alexandra 1 Slavnov, Sergey 1 Straßburger, Lutz 1 Taylor, Kim 1 Valencia, Frank D. 1 van Breugel, Franck 1 Verbrugge, Clark 1 Webster, Julian 1 Zhang, Guoqing all top 5 Serials 8 Information and Computation 7 Theoretical Computer Science 7 Electronic Notes in Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 3 Electronic Proceedings in Theoretical Computer Science (EPTCS) 2 Acta Informatica 2 Communications in Mathematical Physics 2 Nordic Journal of Computing 2 Journal of the ACM 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 International Journal of Theoretical Physics 1 Journal of Mathematical Physics 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 SIAM Journal on Computing 1 New Generation Computing 1 International Journal of Parallel Programming 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Distributed Computing 1 Applied Categorical Structures 1 Advances in Theoretical and Mathematical Physics 1 The Journal of Logic and Algebraic Programming 1 Foundations of Physics 1 CRM Monograph Series 1 Lecture Notes in Computer Science 1 Quantum Information & Computation all top 5 Fields 81 Computer science (68-XX) 28 Quantum theory (81-XX) 26 Mathematical logic and foundations (03-XX) 18 General and overarching topics; collections (00-XX) 14 Probability theory and stochastic processes (60-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Category theory; homological algebra (18-XX) 7 Relativity and gravitational theory (83-XX) 3 General algebraic systems (08-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Operator theory (47-XX) 2 Differential geometry (53-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 70 Publications have been cited 728 times in 474 Documents Cited by ▼ Year ▼ Bisimulation for labelled Markov processes. Zbl 1096.68103Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 88 2002 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 59 2004 Metrics for labeled Markov systems. Zbl 0939.68081Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 40 1999 Labelled Markov processes. Zbl 1190.60001Panangaden, Prakash 38 2009 Approximating labelled Markov processes. Zbl 1028.68091Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 33 2003 The measurement calculus. Zbl 1311.81076Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 32 2007 Anonymity protocols as noisy channels. Zbl 1147.68394Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 28 2008 Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash 26 2006 Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 24 2002 Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004Abramsky, Samson; Blute, Richard; Panangaden, Prakash 20 1999 Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065Desharnais, Josée; Panangaden, Prakash 19 2003 Quantum weakest preconditions. Zbl 1122.68058D’Hondt, Ellie; Panangaden, Prakash 18 2006 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 16 2014 The computational power of the W and GHZ states. Zbl 1152.81703D’Hondt, E.; Panangaden, P. 15 2006 A domain of spacetime intervals in general relativity. Zbl 1188.83071Martin, Keye; Panangaden, Prakash 14 2006 Computations, residuals, and the power of indeterminacy. Zbl 0649.68019Panangaden, Prakash; Stark, Eugene W. 14 1988 Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018Ferns, Norm; Panangaden, Prakash; Precup, Doina 12 2011 Minimization via duality. Zbl 1361.68157Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash 11 2012 Stone duality for Markov processes. Zbl 1433.06006Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 10 2013 Quantum communication in Rindler spacetime. Zbl 1257.83003Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash 9 2012 Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D. 9 2012 Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 9 2010 Discrete quantum causal dynamics. Zbl 1037.81012Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash 9 2003 Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009Panangaden, Prakash; Taylor, Kim 9 1992 The one way to quantum computation. Zbl 1133.68342Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 8 2006 The expressive power of indeterminate dataflow primitives. Zbl 0754.68082Panangaden, Prakash; Shanbhogue, Vasant 8 1992 Stability and sequentiality in dataflow networks. Zbl 0766.68090Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W. 8 1990 Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 7 2012 Approximating Markov processes by averaging. Zbl 1248.68322Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 7 2009 Anonymity protocols as noisy channels. Zbl 1211.94025Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 7 2007 Measure and probability for concurrency theorists. Zbl 0956.68058Panangaden, P. 7 2001 A logical view of concurrent constraint programming. Zbl 0839.68020Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G. 7 1995 Quantitative algebraic reasoning. Zbl 1391.68021Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 6 2016 A categorical presentation of quantum computation with anyons. Zbl 1218.81036Panangaden, P.; Paquette, É. O. 6 2011 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074Panangaden, Prakash (ed.); van Breugel, Franck (ed.) 6 2004 Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265Danos, Vincent; Desharnais, Josée; Panangaden, Prakash 6 2003 Approximating Markov processes by averaging. Zbl 1295.68167Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 5 2014 Strong completeness for Markovian logics. Zbl 06210010Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 5 2013 Extended measurement calculus. Zbl 1209.68250Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon 5 2010 Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 5 2006 A relational model of non-deterministic dataflow. Zbl 0940.68078Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn 5 1998 Type theory and concurrency. Zbl 0678.68017Cleaveland, Rance; Panangaden, Prakash 5 1988 A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145Balle, Borja; Panangaden, Prakash; Precup, Doina 4 2015 Dagger categories and formal distributions. Zbl 1253.81006Blute, R.; Panangaden, P. 4 2011 A technique for verifying measurements. Zbl 1286.06011Martin, Keye; Panangaden, Prakash 3 2008 Game semantics for quantum stores. Zbl 1286.81044Delbecque, Yannick; Panagaden, Prakash 3 2008 A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav 3 1989 Causality in physics and computation. Zbl 1360.68634Panangaden, Prakash 2 2014 Fair reactive programming. Zbl 1284.68127Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte 2 2014 Spacetime geometry from causal structure and a measurement. Zbl 1260.83073Martin, Keye; Panangaden, Prakash 2 2012 Domain theory and general relativity. Zbl 1218.83016Martin, K.; Panangaden, P. 2 2011 Approximating labelled Markov processes again! Zbl 1239.68050Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 2 2009 Distributed measurement-based quantum computation. Zbl 1277.68174Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash 2 2007 Reasoning about quantum knowledge. Zbl 1172.68622D’Hondt, Ellie; Panangaden, Prakash 2 2005 A relational model of non-deterministic dataflow. Zbl 1093.68063Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn 2 2004 The category of Markov kernels. Zbl 0920.68067Panangaden, Prakash 2 1998 The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080Panangaden, Prakash 2 1995 McCarthy’s amb cannot implement fair merge. Zbl 0667.68035Panagaden, Prakash; Shanbhogue, Vasant 2 1988 Semantics of networks containing indeterminate operators. Zbl 0565.68004Keller, Robert M.; Panangaden, Prakash 2 1985 Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028Panangaden, Prakash 2 1979 Bicategories of Markov processes. Zbl 1431.18013Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash 1 2017 An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash 1 2014 A logical basis for quantum evolution and entanglement. Zbl 1286.81013Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz 1 2014 Deep inference and probabilistic coherence spaces. Zbl 1260.03117Blute, Richard; Panangaden, Prakash; Slavnov, Sergey 1 2012 Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111Panangaden, Prakash; Sadrzadeh, Mehrnoosh 1 2011 Epistemic strategies and games on concurrent processes. Zbl 1206.68211Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash 1 2009 Special issue: Spatial representation: Discrete vs. continuous computational models. Papers of the workshop, Schloss Dagstuhl, Germany, August 2004. Zbl 1125.68312Koppermann, Ralph (ed.); Panangaden, Prakash (ed.); Smyth, Michael B. (ed.); Spreen, Dieter (ed.); Webster, Julian (ed.) 1 2006 Nonexpressibility of fairness and signaling. Zbl 0801.68112McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant 1 1993 A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089Jagadeesan, Radha; Panangaden, Prakash 1 1990 Abstract interpretation and indeterminacy. Zbl 0565.68005Panangaden, Prakash 1 1985 Bicategories of Markov processes. Zbl 1431.18013Clerc, Florence; Humphrey, Harrison; Panangaden, Prakash 1 2017 Quantitative algebraic reasoning. Zbl 1391.68021Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon 6 2016 A canonical form for weighted automata and applications to approximate minimization. Zbl 1401.68145Balle, Borja; Panangaden, Prakash; Precup, Doina 4 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 16 2014 Approximating Markov processes by averaging. Zbl 1295.68167Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 5 2014 Causality in physics and computation. Zbl 1360.68634Panangaden, Prakash 2 2014 Fair reactive programming. Zbl 1284.68127Cave, Andrew; Ferreira, Francisco; Panangaden, Prakash; Pientka, Brigitte 2 2014 An exact expression for photon polarization in Kerr geometry. Zbl 1309.83055Farooqui, Anusar; Kamran, Niky; Panangaden, Prakash 1 2014 A logical basis for quantum evolution and entanglement. Zbl 1286.81013Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz 1 2014 Stone duality for Markov processes. Zbl 1433.06006Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 10 2013 Strong completeness for Markovian logics. Zbl 06210010Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 5 2013 Minimization via duality. Zbl 1361.68157Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash 11 2012 Quantum communication in Rindler spacetime. Zbl 1257.83003Brádler, Kamil; Hayden, Patrick; Panangaden, Prakash 9 2012 Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D. 9 2012 Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 7 2012 Spacetime geometry from causal structure and a measurement. Zbl 1260.83073Martin, Keye; Panangaden, Prakash 2 2012 Deep inference and probabilistic coherence spaces. Zbl 1260.03117Blute, Richard; Panangaden, Prakash; Slavnov, Sergey 1 2012 Bisimulation metrics for continuous Markov decision processes. Zbl 1253.39018Ferns, Norm; Panangaden, Prakash; Precup, Doina 12 2011 A categorical presentation of quantum computation with anyons. Zbl 1218.81036Panangaden, P.; Paquette, É. O. 6 2011 Dagger categories and formal distributions. Zbl 1253.81006Blute, R.; Panangaden, P. 4 2011 Domain theory and general relativity. Zbl 1218.83016Martin, K.; Panangaden, P. 2 2011 Learning in a changing world, an algebraic modal logical approach. Zbl 1308.68111Panangaden, Prakash; Sadrzadeh, Mehrnoosh 1 2011 Weak bisimulation is sound and complete for pCTL\(^*\). Zbl 1189.68080Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 9 2010 Extended measurement calculus. Zbl 1209.68250Danos, Vincent; Kashefi, Elham; Panangaden, Prakash; Perdrix, Simon 5 2010 Labelled Markov processes. Zbl 1190.60001Panangaden, Prakash 38 2009 Approximating Markov processes by averaging. Zbl 1248.68322Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 7 2009 Approximating labelled Markov processes again! Zbl 1239.68050Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon 2 2009 Epistemic strategies and games on concurrent processes. Zbl 1206.68211Chatzikokolakis, Konstantinos; Knight, Sophia; Panangaden, Prakash 1 2009 Anonymity protocols as noisy channels. Zbl 1147.68394Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 28 2008 A technique for verifying measurements. Zbl 1286.06011Martin, Keye; Panangaden, Prakash 3 2008 Game semantics for quantum stores. Zbl 1286.81044Delbecque, Yannick; Panagaden, Prakash 3 2008 The measurement calculus. Zbl 1311.81076Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 32 2007 Anonymity protocols as noisy channels. Zbl 1211.94025Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash 7 2007 Distributed measurement-based quantum computation. Zbl 1277.68174Danos, Vincent; D’Hondt, Ellie; Kashefi, Elham; Panangaden, Prakash 2 2007 Bisimulation and cocongruence for probabilistic systems. Zbl 1110.68083Danos, Vincent; Desharnais, Josée; Laviolette, François; Panangaden, Prakash 26 2006 Quantum weakest preconditions. Zbl 1122.68058D’Hondt, Ellie; Panangaden, Prakash 18 2006 The computational power of the W and GHZ states. Zbl 1152.81703D’Hondt, E.; Panangaden, P. 15 2006 A domain of spacetime intervals in general relativity. Zbl 1188.83071Martin, Keye; Panangaden, Prakash 14 2006 The one way to quantum computation. Zbl 1133.68342Danos, Vincent; Kashefi, Elham; Panangaden, Prakash 8 2006 Approximate reasoning for real-time probabilistic processes. Zbl 1126.68055Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 5 2006 Special issue: Spatial representation: Discrete vs. continuous computational models. Papers of the workshop, Schloss Dagstuhl, Germany, August 2004. Zbl 1125.68312Koppermann, Ralph (ed.); Panangaden, Prakash (ed.); Smyth, Michael B. (ed.); Spreen, Dieter (ed.); Webster, Julian (ed.) 1 2006 Reasoning about quantum knowledge. Zbl 1172.68622D’Hondt, Ellie; Panangaden, Prakash 2 2005 Metrics for labelled Markov processes. Zbl 1068.68093Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 59 2004 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074Panangaden, Prakash (ed.); van Breugel, Franck (ed.) 6 2004 A relational model of non-deterministic dataflow. Zbl 1093.68063Hildebrandt, Thomas T.; Panagaden, Prakash; Winskel, Glynn 2 2004 Approximating labelled Markov processes. Zbl 1028.68091Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 33 2003 Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065Desharnais, Josée; Panangaden, Prakash 19 2003 Discrete quantum causal dynamics. Zbl 1037.81012Blute, Richard F.; Ivanov, Ivan T.; Panangaden, Prakash 9 2003 Conditional expectation and the approximation of labelled Markov processes. Zbl 1274.68265Danos, Vincent; Desharnais, Josée; Panangaden, Prakash 6 2003 Bisimulation for labelled Markov processes. Zbl 1096.68103Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash 88 2002 Weak bisimulation is sound and complete for pCTL*. Zbl 1012.68139Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 24 2002 Measure and probability for concurrency theorists. Zbl 0956.68058Panangaden, P. 7 2001 Metrics for labeled Markov systems. Zbl 0939.68081Desharnais, Josée; Gupta, Vineet; Jagadeesan, Radha; Panangaden, Prakash 40 1999 Nuclear and trace ideals in tensored \(^*\)-categories. Zbl 0946.18004Abramsky, Samson; Blute, Richard; Panangaden, Prakash 20 1999 A relational model of non-deterministic dataflow. Zbl 0940.68078Hildebrandt, Thomas; Panangaden, Prakash; Winskel, Glynn 5 1998 The category of Markov kernels. Zbl 0920.68067Panangaden, Prakash 2 1998 A logical view of concurrent constraint programming. Zbl 0839.68020Mendler, Nax P.; Panangaden, Prakash; Scott, P. J.; Seely, R. A. G. 7 1995 The expressive power of indeterminate primitives in asynchronous computation. Zbl 1354.68080Panangaden, Prakash 2 1995 Nonexpressibility of fairness and signaling. Zbl 0801.68112McAllester, David; Panangaden, Prakash; Shanbhogue, Vasant 1 1993 Concurrent common knowledge: Defining agreement for asynchronous systems. Zbl 0773.68009Panangaden, Prakash; Taylor, Kim 9 1992 The expressive power of indeterminate dataflow primitives. Zbl 0754.68082Panangaden, Prakash; Shanbhogue, Vasant 8 1992 Stability and sequentiality in dataflow networks. Zbl 0766.68090Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W. 8 1990 A domain-theoretic model for a higher-order process calculus. Zbl 0766.68089Jagadeesan, Radha; Panangaden, Prakash 1 1990 A fully abstract semantics for a functional language with logic variables. Zbl 0716.68061Jagadeesan, Radha; Panangaden, Prakash; Pingali, Keshav 3 1989 Computations, residuals, and the power of indeterminacy. Zbl 0649.68019Panangaden, Prakash; Stark, Eugene W. 14 1988 Type theory and concurrency. Zbl 0678.68017Cleaveland, Rance; Panangaden, Prakash 5 1988 McCarthy’s amb cannot implement fair merge. Zbl 0667.68035Panagaden, Prakash; Shanbhogue, Vasant 2 1988 Semantics of networks containing indeterminate operators. Zbl 0565.68004Keller, Robert M.; Panangaden, Prakash 2 1985 Abstract interpretation and indeterminacy. Zbl 0565.68005Panangaden, Prakash 1 1985 Positive and negative frequency decompositions in curved spacetime. Zbl 0448.58028Panangaden, Prakash 2 1979 all cited Publications top 5 cited Publications all top 5 Cited by 652 Authors 27 Panangaden, Prakash 18 Larsen, Kim Guldstrand 15 Doberkat, Ernst-Erich 13 Danos, Vincent 13 Palamidessi, Catuscia 12 Mardare, Radu 11 Jacobs, Bart 11 Kashefi, Elham 10 van Breugel, Franck 9 Chatzikokolakis, Konstantinos 9 Legay, Axel 8 Baier, Christel 8 Desharnais, Josée 8 Tini, Simone 7 Olarte, Carlos 7 Worrell, James B. 7 Ying, Mingsheng 6 Bacci, Giorgio 6 Deng, Yuxin 6 Fahrenberg, Uli 6 Hermanns, Holger 6 Jagadeesan, Radha 6 Perdrix, Simon 6 Valencia, Frank D. 5 Abate, Alessandro 5 Bernardo, Marco 5 Boreale, Michele 5 Cao, Yongzhi 5 D’Argenio, Pedro Rubén 5 D’Hondt, Ellie 5 Gebler, Daniel E. 5 Gupta, Vineet 5 Henzinger, Thomas A. 5 Katoen, Joost-Pieter 5 Winskel, Glynn 5 Zhang, Lijun 4 Bacci, Giovanni 4 Bertrand, Nathalie 4 Blute, Richard F. 4 Castiglioni, Valentina 4 Coecke, Bob 4 Feng, Yuan 4 Garnier, Ilias 4 Guzmán, Michell 4 Haghverdi, Esfandiar 4 Hasan, Osman 4 Hasuo, Ichiro 4 Jung, Achim 4 Laviolette, François 4 Loreti, Michele 4 Malacaria, Pasquale 4 Martin, Keye 4 Miculan, Marino 4 Milius, Stefan 4 Mislove, Michael W. 4 Pappas, George J. 4 Pimentel, Elaine 4 Rueda, Camilo 4 Rutten, Jan J. M. M. 4 Sánchez Terraf, Pedro 4 Tahar, Sofiène 4 Tribastone, Mirco 3 Adámek, Jiří 3 Alvim, Mário S. 3 Andova, Suzana 3 Balle, Borja 3 Biondi, Fabrizio 3 Blass, Andreas Raphael 3 Cardelli, Luca 3 Černý, Pavol 3 Crafa, Silvia 3 Dal Lago, Ugo 3 De Nicola, Rocco 3 Droste, Manfred 3 Falaschi, Moreno 3 Fritz, Tobias 3 Girard, Antoine 3 Gurevich, Yuri 3 Hennessy, Matthew C. B. 3 Heunen, Chris 3 Jansen, David N. 3 Keimel, Klaus 3 Knight, Sophia 3 Lanotte, Ruggero 3 Lynch, Nancy Ann 3 Mhalla, Mehdi 3 Morgan, Carroll C. 3 Moshier, M. Andrew 3 Nigam, Vivek 3 Perchy, Salim 3 Petrisan, Daniela Luan 3 Radhakrishna, Arjun 3 Ranzato, Francesco 3 Sack, Joshua 3 Sawerwain, Marek 3 Schnoebelen, Philippe 3 Schubert, Christoph 3 Scott, Philip J. 3 Silva, Alexandra 3 Sokolova, Ana ...and 552 more Authors all top 5 Cited in 67 Serials 85 Theoretical Computer Science 40 Information and Computation 25 MSCS. Mathematical Structures in Computer Science 16 Journal of Logical and Algebraic Methods in Programming 14 Quantum Information Processing 14 Logical Methods in Computer Science 9 Acta Informatica 9 Journal of Computer and System Sciences 8 Annals of Pure and Applied Logic 8 Formal Aspects of Computing 6 Information Processing Letters 6 Formal Methods in System Design 5 International Journal of Theoretical Physics 4 Distributed Computing 4 Applied Categorical Structures 4 Journal of Applied Logic 3 Journal of Pure and Applied Algebra 3 New Generation Computing 3 The Journal of Logic and Algebraic Programming 3 International Journal of Quantum Information 3 Foundations of Physics 3 Journal of Physics A: Mathematical and Theoretical 2 Communications in Mathematical Physics 2 Journal of Mathematical Physics 2 Automatica 2 Fuzzy Sets and Systems 2 Information Sciences 2 Journal of Automated Reasoning 2 International Journal of Approximate Reasoning 2 Discrete Event Dynamic Systems 2 Soft Computing 2 Journal of the ACM 2 New Journal of Physics 2 International Journal of Applied Mathematics and Computer Science 2 Journal of High Energy Physics 2 ACM Transactions on Computational Logic 2 Logica Universalis 1 Artificial Intelligence 1 Classical and Quantum Gravity 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 International Journal of Systems Science 1 Reports on Mathematical Physics 1 Acta Mathematica 1 Advances in Mathematics 1 Journal of Mathematical Psychology 1 Journal of Number Theory 1 The Journal of Symbolic Logic 1 SIAM Journal on Control and Optimization 1 Science of Computer Programming 1 Circuits, Systems, and Signal Processing 1 Annals of Global Analysis and Geometry 1 Physica D 1 International Journal of Parallel Programming 1 Annals of Operations Research 1 Machine Learning 1 Theory and Applications of Categories 1 Constraints 1 European Journal of Control 1 Mathematical Physics, Analysis and Geometry 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Living Reviews in Relativity 1 Gravitation & Cosmology 1 Theory and Practice of Logic Programming 1 Natural Computing 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Frontiers of Computer Science all top 5 Cited in 38 Fields 365 Computer science (68-XX) 93 Mathematical logic and foundations (03-XX) 92 Quantum theory (81-XX) 61 Category theory; homological algebra (18-XX) 35 Information and communication theory, circuits (94-XX) 34 Probability theory and stochastic processes (60-XX) 15 Relativity and gravitational theory (83-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Systems theory; control (93-XX) 10 Statistics (62-XX) 8 Functional analysis (46-XX) 8 General topology (54-XX) 6 Measure and integration (28-XX) 6 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 5 Differential geometry (53-XX) 4 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 3 Associative rings and algebras (16-XX) 3 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Mechanics of particles and systems (70-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General and overarching topics; collections (00-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Topological groups, Lie groups (22-XX) 2 Operator theory (47-XX) 2 Algebraic topology (55-XX) 2 Optics, electromagnetic theory (78-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 \(K\)-theory (19-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year