3 credits (3-0-0)
Pre-requisites: COL226 OR Equivalent
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.
COL831 Semantics of Programming Languages
3 credits (3-0-0)
Pre-requisites: COL226, COL352
Study of operational, axiomatic and denotational semantics of procedural languages; semantics issues in the design of functional and logic programming languages, study of abstract data types.