The following pages link to K. Mani Chandy (Q239148):
Displaying 46 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Reasoning about continuous systems (Q918217) (← links)
- On distributed search (Q1068555) (← links)
- How processes learn (Q1082071) (← links)
- Systolic algorithms as programs (Q1087008) (← links)
- (Q1151023) (redirect page) (← links)
- Deadlock absence proofs for networks of communicating processes (Q1151025) (← links)
- Properties of concurrent programs (Q1346603) (← links)
- Specification transformers: a predicate transformer approach to composition (Q1882676) (← links)
- FORTRAN M: A language for modular parallel programming (Q1892858) (← links)
- Predicate transformers for reasoning about concurrent computation (Q1893538) (← links)
- (Q2721100) (← links)
- Distributed Simulation: A Case Study in Design and Verification of Distributed Programs (Q3206283) (← links)
- Convergence Verification: From Shared Memory to Partially Synchronous Systems (Q3543300) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- (Q3700821) (← links)
- (Q3783500) (← links)
- Computational algorithms for product form queueing networks (Q3886857) (← links)
- Proofs of Networks of Processes (Q3922150) (← links)
- Termination Detection of Diffusing Computations in Communicating Sequential Processes (Q3938476) (← links)
- A Distributed Graph Algorithm: Knot Detection (Q3951562) (← links)
- Distributed computation on graphs (Q3953185) (← links)
- A comparison of list schedules for parallel processing systems (Q4045652) (← links)
- (Q4054672) (← links)
- Approximate Analysis of Central Server Models (Q4057616) (← links)
- A Survey of Analytic Models of Rollback and Recovery Stratergies (Q4065042) (← links)
- Open, Closed, and Mixed Networks of Queues with Different Classes of Customers (Q4072866) (← links)
- Product Form and Local Balance in Queueing Networks (Q4128019) (← links)
- (Q4131663) (← links)
- Selecting Capacities in Computer Communication Systems (Q4131676) (← links)
- (Q4138143) (← links)
- (Q4166220) (← links)
- Models for parallel processing within programs (Q4167554) (← links)
- The impact of distributions and disciplines on multiple processor systems (Q4170213) (← links)
- Distributed simulation of networks (Q4177010) (← links)
- (Q4519351) (← links)
- (Q4536450) (← links)
- (Q4692502) (← links)
- A unifying framework for distributed simulation (Q4876095) (← links)
- Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow (Q5358464) (← links)
- Optimization of information storage systems (Q5550157) (← links)
- Optimal Scheduling Strategies in a Multiprocessor System (Q5640724) (← links)
- Rollback and Recovery Strategies for Computer Programs (Q5645017) (← links)
- The Capacitated Minimum Spanning Tree (Q5671761) (← links)
- Optimization of Memory Hierarchies in Multiprogrammed Systems (Q5674399) (← links)
- An experiment in program composition and proof (Q5959856) (← links)
