Login / Signup

State Equations in Stochastic Process Algebra Models.

Jie DingXinshan ZhuXiao Chen
Published in: IEEE Access (2019)
Keyphrases
  • process algebra
  • social networks
  • database
  • multi agent systems
  • model checking
  • machine learning
  • artificial intelligence
  • relational databases
  • mobile devices