
eCommons@Cornell >
Browsing by Author Moitra, Abha
Showing results 1 to 12 of 12
Preview  Issue Date  Title  Author(s)   Jun1984  Algebraic Specification of a Communication Scheduler  Mathai, Joseph; Moitra, Abha 
 Jul1985  Analysis of Hard RealTime Systems  Moitra, Abha 
 Mar1984  Automatic Construction of CSP Programs from Sequential NonDeterministic Programs  Moitra, Abha 
 Mar1989  Complete, Effective and Abstract System For Reasoning About Networks of Processes  Wagner, Catherine; Moitra, Abha 
 Sep1984  Derivation of a Maximally Parallel Algorithm for Balancing Binary Search Trees  Moitra, Abha; Iyengar, S. Sitharama 
 Jun1986  Discussion of Parallel Algorithms  Moitra, Abha; Iyengar, S. Sitharama 
 Oct1986  Finitary Choice Cannot Express Fairness: A Metric Space Technique  Moitra, Abha; Panangaden, Prakash 
 May1985  Multilevel Data Structures Models and Performance  Moitra, Abha; Iyengar, S. Sitharama; Bastani, F.; Yen, I. 
 Jul1988  Parallel Algorithms For Maximum Matching And Other Problems On Interval Graphs  Moitra, Abha; Johnson, Richard C. 
 Oct1984  Proof Rules for FaultTolerant Distributed Programs  Joseph, Mathai; Moitra, Abha; Soundararajan, Neelam 
 Sep1986  A Proof System for Dataflow Networks with Indeterminate Modules  Moitra, Abha; Panangaden, Prakash 
 May1989  Time Lower Bounds for CREWPRAM Computation of Monotone Functions  Bilardi, Gianfranco; Moitra, Abha 
Showing results 1 to 12 of 12
