| Text | Download (582kB) |
 Labelled transition systems.pdf |
COMP2212 - Semantics of Concurrency 1/3 - LTS
Semantics of Concurrency 1/3 - Introduction to Labelled Transition System
| Added By: |
Dr Jian Shi
|
|---|---|
| Date Added: | 29 Apr 2021 09:23 |
| Creators Name: |
Dr Jian Shi
|
| Tags: | concurrency, comp2212 |
| Viewing permissions: | University |
| Course codes: | comp2212 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20932 |
| Downloads & Views |  |
 |
