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.
