BRICS
L. Aceto (Luca) , A.D. Gordon
BRICS Notes Series
Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond
Computer Security

Groote, J. F., van Weerdenburg, M., Mathijssen, A., & Usenko, Y. (2005). From $\mu$ crl to mcrl2. In L. Aceto & A. D. Gordon (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond (pp. 126–131). BRICS.