Comparative Concurrency Semantics - COMP9152


	Faculty: Faculty of Engineering
	School: School of Computer Science and Engineering
	Course Outline: www.cse.unsw.edu.au/~cs9152
	Campus: Kensington Campus
	Career: Postgraduate
	Units of Credit: 6
	EFTSL: 0.12500 (more info)
	Indicative Contact Hours per Week: 3
	Enrolment Requirements:
	Prerequisite: COMP9024 or enrolment in MIT program 8684 or GradCert program 7344.
	Equivalent: COMP3152
	Fee Band: 2 (more info)
	Further Information: See Class Timetable

Description

This course replaces COMP4151, students can not receive credit for both

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.