• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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