Skip to main content


eCommons@Cornell >

Browsing by Author Panangaden, Prakash

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 20 of 22
 next >
PreviewIssue DateTitleAuthor(s)
Dec-1985Categorical Type TheoryPanangaden, Prakash; Schwartzbach, Michael I.
Dec-1988A Category-Theoretic Semantics for Unbounded IndeterminacyPanangaden, Prakash; Russell, James R.
Jul-1986Computation of Aliases and Support SetsNeirynck, Anne; Panangaden, Prakash; Demers, Alan J.
Nov-1987Computations, Residuals, and the Power of IndeterminacyPanangaden, Prakash; Stark, Eugene W.
May-1989Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous SystemsPanangaden, Prakash; Taylor, Kimberly E.
Nov-1989A Domain-Theoretic Model for a Higher-Order Process CalculusJagadeesan, Radhakrishnan; Panangaden, Prakash
Sep-1987Expressiveness Bounds for Completeness in Trace-Based Network Proof SystemsWidom, Jennifer; Panangaden, Prakash
May-1989The Expressive Power of Delay Operators in SCCSCritchlow, Carol M.; Panangaden, Prakash
Oct-1986Finitary Choice Cannot Express Fairness: A Metric Space TechniqueMoitra, Abha; Panangaden, Prakash
May-1985FRESH: A Higher-Order Language with Unification and Multiple ResultsSmolka, Gert; Panangaden, Prakash
Feb-1989A Fully Abstract Semantics for a Functional Language with Logic VariablesPingali, Keshav; Panangaden, Prakash; Jagadeesan, Radhakrishnan
Mar-1986Infinite Objects in Type TheoryMendler, N. P.; Panangaden, Prakash; Constable, Robert L.
May-1988McCarthy's Amb Cannot Implement Fair MergePanangaden, Prakash; Shanbhogue, Vasant
21-May-2014A Metrized Duality Theorem for Markov ProcessesKozen, Dexter; Mardare, Radu; Panangaden, Prakash
Feb-1989Nonexpressibility of Fairness and SignalingMcAllester, David; Panangaden, Prakash
Dec-1987On the Expressive Power of Indeterminate Network PrimitivesPanangaden, Prakash; Shanbhogue, Vasant
Sep-1986A Proof System for Dataflow Networks with Indeterminate ModulesMoitra, Abha; Panangaden, Prakash
Dec-1985Semantics of Digital Networks Containing Indeterminate ModulesKeller, Robert M.; Panangaden, Prakash
Nov-1989Stabilitly and Sequentiality in Dataflow NetworksPanangaden, Prakash; Shanbhogue, Vasant; Stark, Eugene W.
14-Mar-2013Stone Duality for Markov ProcessesKozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash
Showing results 1 to 20 of 22
 next >


© 2014 Cornell University Library Contact Us