UTCP: Compositional Semantics for Shared-Variable Concurrency
You are here
| Title | UTCP: Compositional Semantics for Shared-Variable Concurrency |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Butterfield A |
| Conference Name | 20th Brazilian Symposium on Formal Methods |
| Date Published | 12/2017 |
| Conference Location | Brazil |
| ISBN Number | 978-3-319-70847-8 |
| DOI | 10.1007/978-3-319-70848-5_16 |
