Denotational semantics of channel mobility in UTP-CSP
You are here
| Title | Denotational semantics of channel mobility in UTP-CSP |
| Publication Type | Journal Article |
| Year of Publication | 2021 |
| Authors | Ekembe G |
| Journal | Formal Aspects of Computing |
| Date Published | 05 |
| URL | https://link.springer.com/article/10.1007/s00165-021-00546-3#citeas |
| DOI | 10.1007/s00165-021-00546-3 |
