Loading previews...
tutorial1.pdf
Text
|
Download (74kB) |
tutorial1solutions.pdf
Text
|
Download (106kB) |
past paper.pdf
Text
|
Download (870kB) |
Handout.pdf
Text
|
Download (645kB) |
Bisimulations.pdf
Text
|
Download (1MB) |
Simulations.pdf
Text
|
Download (517kB) |
Labelled transition systems.pdf
Text
|
Download (582kB) |
tutorial1.pdf | tutorial1solutions.pdf | past paper.pdf | Handout.pdf | Bisimulations.pdf |
Simulations.pdf | Labelled transition systems.pdf |
COMP2212 PLC - Semantics of Concurrency
Added By: |
Dr Jian Shi
|
---|---|
Date Added: | 16 Mar 2022 10:44 |
Creators Name: |
Dr Jian Shi
|
Tags: | COMP2212 |
Viewing permissions: | University |
Course codes: | COMP2212 |
Link: | http://edshare.soton.ac.uk/id/eprint/21314 |
Downloads & Views |
Toolbox
There are no actions available for this resource.