Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.

Jiaqi Yin Huibiao Zhu Phan Cong Vinh

Published in: Mob. Networks Appl. (2020)

Keyphrases

real time
computer networks
concurrent systems
database
machine learning
expert systems
knowledge representation
access control
model checking