COL830
| COL830 | |
|---|---|
| Distributed Computing | |
| Credits | 3 |
| Structure | 3-0-0 |
| Pre-requisites | COL226 OR Equivalent |
| Overlaps | |
COL830 : Distributed Computing
Models of Distributed Computing; Basic Issues: Causality, Exclusion, Fairness, Independence, Consistency; Specification of Distributed Systems: Transition systems, petri nets, process algebra properties: Safety, Liveness, stability.