Credits: 3 (3-0-0)
Prerequisites: COL226 OR Equivalent
Description
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.
Prerequisite Tree
flowchart TD
COL830-237[COL830]
COL830-237 --> COL226-237[COL226]
COL226-237 --> COL106-237[COL106]
COL106-237 --> COL100-237[COL100]
classDef empty height:17px, fill:transparent, stroke:transparent;
classDef trueEmpty height:0px, width:0px;