|
|
eCommons@Cornell >
Browsing by Author Panangaden, Prakash
Showing results 1 to 20 of 21
| Preview | Issue Date | Title | Author(s) | | Dec-1985 | Categorical Type Theory | Panangaden, Prakash; Schwartzbach, Michael I. |
| Dec-1988 | A Category-Theoretic Semantics for Unbounded Indeterminacy | Panangaden, Prakash; Russell, James R. |
| Jul-1986 | Computation of Aliases and Support Sets | Neirynck, Anne; Panangaden, Prakash; Demers, Alan J. |
| Nov-1987 | Computations, Residuals, and the Power of Indeterminacy | Panangaden, Prakash; Stark, Eugene W. |
| May-1989 | Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems | Panangaden, Prakash; Taylor, Kimberly E. |
| Nov-1989 | A Domain-Theoretic Model for a Higher-Order Process Calculus | Jagadeesan, Radhakrishnan; Panangaden, Prakash |
| Sep-1987 | Expressiveness Bounds for Completeness in Trace-Based Network Proof Systems | Widom, Jennifer; Panangaden, Prakash |
| May-1989 | The Expressive Power of Delay Operators in SCCS | Critchlow, Carol M.; Panangaden, Prakash |
| Oct-1986 | Finitary Choice Cannot Express Fairness: A Metric Space Technique | Moitra, Abha; Panangaden, Prakash |
| May-1985 | FRESH: A Higher-Order Language with Unification and Multiple Results | Smolka, Gert; Panangaden, Prakash |
| Feb-1989 | A Fully Abstract Semantics for a Functional Language with Logic Variables | Pingali, Keshav; Panangaden, Prakash; Jagadeesan, Radhakrishnan |
| Mar-1986 | Infinite Objects in Type Theory | Mendler, N. P.; Panangaden, Prakash; Constable, Robert L. |
| May-1988 | McCarthy's Amb Cannot Implement Fair Merge | Panangaden, Prakash; Shanbhogue, Vasant |
| Feb-1989 | Nonexpressibility of Fairness and Signaling | McAllester, David; Panangaden, Prakash |
| Dec-1987 | On the Expressive Power of Indeterminate Network Primitives | Panangaden, Prakash; Shanbhogue, Vasant |
| Sep-1986 | A Proof System for Dataflow Networks with Indeterminate Modules | Moitra, Abha; Panangaden, Prakash |
| Dec-1985 | Semantics of Digital Networks Containing Indeterminate Modules | Keller, Robert M.; Panangaden, Prakash |
| Nov-1989 | Stabilitly and Sequentiality in Dataflow Networks | Panangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W. |
| 14-Mar-2013 | Stone Duality for Markov Processes | Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash |
| 14-Jun-2013 | Strong Completeness for Markovian Logics | Kozen, Dexter; Mardare, Radu; Panangaden, Prakash |
Showing results 1 to 20 of 21
|
