Comparative Concurrency Semantics - COMP3152
 
Faculty: Faculty of Engineering
 
 
School:  School of Computer Science and Engineering
 
 
Course Outline: http://www.cse.unsw.edu.au/~cs3152
 
 
Campus: Kensington Campus
 
 
Career: Undergraduate
 
 
Units of Credit: 6
 
 
EFTSL: 0.125 (more info)
 
 
Contact Hours per Week: 3
 
 
Enrolment Requirements:
 
 
Prerequisite: COMP2011 or COMP2711 or COMP2911.
 
 
Equivalent: COMP9152
 
 
Fee Band:   (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.

Further Information