Skip to main content


eCommons@Cornell >

Browsing by Author Moitra, Abha

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 12 of 12
PreviewIssue DateTitleAuthor(s)
Jun-1984Algebraic Specification of a Communication SchedulerMathai, Joseph; Moitra, Abha
Jul-1985Analysis of Hard Real-Time SystemsMoitra, Abha
Mar-1984Automatic Construction of CSP Programs from Sequential Non-Deterministic ProgramsMoitra, Abha
Mar-1989Complete, Effective and Abstract System For Reasoning About Networks of ProcessesWagner, Catherine; Moitra, Abha
Sep-1984Derivation of a Maximally Parallel Algorithm for Balancing Binary Search TreesMoitra, Abha; Iyengar, S. Sitharama
Jun-1986Discussion of Parallel AlgorithmsMoitra, Abha; Iyengar, S. Sitharama
Oct-1986Finitary Choice Cannot Express Fairness: A Metric Space TechniqueMoitra, Abha; Panangaden, Prakash
May-1985Multilevel Data Structures Models and PerformanceMoitra, Abha; Iyengar, S. Sitharama; Bastani, F.; Yen, I.
Jul-1988Parallel Algorithms For Maximum Matching And Other Problems On Interval GraphsMoitra, Abha; Johnson, Richard C.
Oct-1984Proof Rules for Fault-Tolerant Distributed ProgramsJoseph, Mathai; Moitra, Abha; Soundararajan, Neelam
Sep-1986A Proof System for Dataflow Networks with Indeterminate ModulesMoitra, Abha; Panangaden, Prakash
May-1989Time Lower Bounds for CREW-PRAM Computation of Monotone FunctionsBilardi, Gianfranco; Moitra, Abha
Showing results 1 to 12 of 12


© 2014 Cornell University Library Contact Us