Denotational semantics of channel mobility in UTP-CSP
Crossref DOI link: https://doi.org/10.1007/s00165-021-00546-3
Published Print: 2021-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ekembe Ngondi, Gerard http://orcid.org/0000-0002-8579-3366
Text and Data Mining valid from 2021-08-01
Version of Record valid from 2021-05-27
Article History
Received: 7 February 2019
Revised: 20 February 2021
Accepted: 14 March 2021
First Online: 27 May 2021