A Calculus of Truly Concurrent Mobile Processes
Logic in Computer Science
2017-04-26 v1
Abstract
We make a mixture of Milner's -calculus and our previous work on truly concurrent process algebra, which is called . We introduce syntax and semantics of , its properties based on strongly truly concurrent bisimilarities. Also, we include an axiomatization of . can be used as a formal tool in verifying mobile systems in a truly concurrent flavor.
Keywords
Cite
@article{arxiv.1704.07774,
title = {A Calculus of Truly Concurrent Mobile Processes},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1704.07774},
year = {2017}
}
Comments
20 pages. arXiv admin note: text overlap with arXiv:1703.00159, arXiv:1611.09035