Abstract | ||
---|---|---|
BigrTiMo [1], a process algebra that combines the rTiMo calculus [2] and the Bigraph model [3], is capable of specifying a rich variety of properties for structure-aware mobile systems. Compared with the rTiMo model, our BigrTiMo calculus can specify not only time, mobility and the local communication (the two communication components should be at the same location), but also the remote communicat... |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/TASE49443.2020.00015 | 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
Keywords | DocType | ISBN |
n/a | Conference | 978-1-7281-4086-5 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wanling Xie | 1 | 4 | 6.88 |
Huibiao Zhu | 2 | 2 | 8.48 |
Shengchao Qin | 3 | 711 | 62.81 |