School Of Computing And MathematicsTheory and Practice of ConcurrencyWestern Sydney University Unit Code: 300169.1
Discipline: SYSTEMS ANALYSIS AND DESIGN
Student Contribution Band: 2
Level: 3
Credit Points: 10
Equivalent Units
14021.1 Theory and Practice of Concurrency
Prerequisite
300122 Formal Methods
About this Unit
Concurrent systems, such as communication networks, air traffic control systems, or industrial plant control systems, are often very complex and they must be reliable. Therefore, there is a need for formalisms, and software tools for design and construction of dependable concurrent systems. This unit presents a formalism for specifying, designing, implementing and analysing concurrent systems. It provides background for further study and research in distributed systems, real-time systems and fault-tolerant systems.