Formalization and Analysis of Haystack Architecture from Process Algebra Perspective

Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh. Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. MONET, 25(3):1125-1139, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.