The following pages link to Abha Moitra (Q1060001):
Displayed 10 items.
- Automatic construction of CSP programs from sequential non-deterministic programs (Q1060002) (← links)
- Proof rules for fault tolerant distributed programs (Q1085970) (← links)
- (Q3026339) (← links)
- (Q3316570) (← links)
- A Maximally Parallel Balancing Algorithm for Obtaining Complete Balanced Binary Trees (Q3681949) (← links)
- Derivation of a parallel algorithm for balancing binary trees (Q3729998) (← links)
- (Q3777446) (← links)
- Direct Implementation of Algebraic Specification of Abstract Data Types (Q3923583) (← links)
- (Q4733406) (← links)
- (Q4749204) (← links)