Software and Systems Modeling, 22(2), 521-545. Springer Martens, J, Groote, J F, Haak, L B V D, Hijma, P & Wijs, A 2023, ' Linear parallel algorithms to compute strong and branching bisimilarity ', Software and Systems Modeling, vol. 22, no. 2, pp. 521-545 . https://doi.org/10.1007/s10270-022-01060-7