UM
Residential Collegefalse
Status已發表Published
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems
Xie W.2; Zhu H.2; Xu Q.1
2018-02-14
Conference Name22nd International Conference on Engineering of Complex Computer Systems (ICECCS)
Source PublicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Volume2017-November
Pages50-59
Conference DateNOV 05-08, 2017
Conference PlaceKyushu Univ, Fukuoka, JAPAN
Abstract

In this paper, we present a process algebra for structure-aware mobile systems called BigrTiMo by combining rTiMo process algebra and Bigraph model. Compared with rTiMo model, our BigrTiMo calculus can model not only the location of components but also the connectivity of components. Thus, our BigrTiMo process can communicate not only locally with other process, but also remotely with other process (If they share a communication link). In addition, a BigrTiMo process can migrate from one location to another location, observe the bigraph and change the bigraph. We also investigate the operational semantics and algebraic semantics of the BigrTiMo calculus.

KeywordAlgebraic Properties Bigrtimo Calculus Mobile Systems Operational Semantics
DOI10.1109/ICECCS.2017.13
URLView the original
Language英語English
WOS IDWOS:000428515700006
Scopus ID2-s2.0-85045241060
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionUniversity of Macau
Affiliation1.Universidade de Macau
2.East China Normal University
Recommended Citation
GB/T 7714
Xie W.,Zhu H.,Xu Q.. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems[C], 2018, 50-59.
APA Xie W.., Zhu H.., & Xu Q. (2018). BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2017-November, 50-59.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Xie W.]'s Articles
[Zhu H.]'s Articles
[Xu Q.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Xie W.]'s Articles
[Zhu H.]'s Articles
[Xu Q.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Xie W.]'s Articles
[Zhu H.]'s Articles
[Xu Q.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.