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]

Authors

Jiaqi Yin

This author has not been identified. Look up 'Jiaqi Yin' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Phan Cong Vinh

This author has not been identified. Look up 'Phan Cong Vinh' in Google