UNSW Handbook - Back to Home

Direct Find

Use this search only if you have an exact code for a Program, Stream, or Course, e.g. 3400, ACCTA13502, ACCT1501 or ACCT*.

Course

Comparative Concurrency Semantics - COMP3152

Faculty: Faculty of Engineering

School: School of Computer Science and Engineering

Course Outline: www.cse.unsw.edu.au/~cs3152

Campus: Kensington Campus

Career: Undergraduate

Units of Credit: 6

EFTSL: 0.12500 (more info)

Indicative Contact Hours per Week: 3

Enrolment Requirements:

Prerequisite: COMP1927

Equivalent: COMP9152

CSS Contribution Charge: 2 (more info)

Tuition Fee: See Tuition Fee Schedule

Further Information: See Class Timetable

View course information for previous years.

Description

Topics chosen from: semantic models of concurrent and distributed systems (e.g. process algebra, event structures, Petri nets, Chu spaces), operational and denotational semantics, semantic equivalences and implementation relations, linear versus branching time, interleaving versus partial order semantics, true concurrency, algorithms for equivalence checking and their complexity, modal and temporal logic for concurrent systems.
UNSW Computing

Study Levels

Undergraduate Study Postgraudate Study Postgraduate Research Study Non-Award Study

UNSW Quick Links

Apply Online Fees and Financial Assitance Academic Calendar