Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh. Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. MONET, 25(3):1125-1139, 2020. [doi]
@article{YinZV20, title = {Formalization and Analysis of Haystack Architecture from Process Algebra Perspective}, author = {Jiaqi Yin and Huibiao Zhu and Phan Cong Vinh}, year = {2020}, doi = {10.1007/s11036-019-01433-1}, url = {https://doi.org/10.1007/s11036-019-01433-1}, researchr = {https://researchr.org/publication/YinZV20}, cites = {0}, citedby = {0}, journal = {MONET}, volume = {25}, number = {3}, pages = {1125-1139}, }