2005
From $\mu$ crl to mcrl2
Publication
Publication
Presented at the
Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond, Bertinoro, Forli, Italy
Additional Metadata | |
---|---|
BRICS | |
L. Aceto (Luca) , A.D. Gordon | |
BRICS Notes Series | |
Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond | |
Organisation | 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. |