A process calculus BigrTiMo of mobile systemsand its formal semantics
Crossref DOI link: https://doi.org/10.1007/s00165-021-00530-x
Published Print: 2021-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xie, Wanling http://orcid.org/0000-0002-4044-7320
Zhu, Huibiao
Xu, Qiwen
Text and Data Mining valid from 2021-03-01
Version of Record valid from 2021-03-01
Article History
Received: 22 September 2019
Revised: 26 December 2020
Accepted: 7 January 2021
First Online: 6 March 2021