trees/courses/COMP6752.tree at main

liamoc.net / forest

fork atom

my forest

fork atom

forest / trees / courses / COMP6752.tree

at main 6 lines 211 B view raw

wrap content

Liam O'Connor major start 1y ago

d72798e0

1\taxon{Course}
2\title{Modelling Concurrent Systems}
3\meta{venue}{[[unsw]]}
4\author{rvg}
5\meta{external}{https://www.cse.unsw.edu.au/~cs6752}
6\p{Process algebra, bisimulation, comparative concurrency semantics.}