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]

Abstract

Abstract is missing.