BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.

Wanling Xie Huibiao Zhu Qiwen Xu

Published in: ICECCS (2017)

Keyphrases

process algebra
asynchronous circuits
mobile devices
artificial intelligence
mobile phone
formal specification
formal methods
formal languages
communication protocols