Login / Signup

A process calculus BigrTiMo of mobile systems and its formal semantics.

Wanling XieHuibiao ZhuQiwen Xu
Published in: Formal Aspects Comput. (2021)
Keyphrases
  • formal semantics
  • formal language
  • object oriented
  • process model
  • first order logic
  • distributed systems
  • speech acts
  • lower layers