2001-05-01
Linearization in parallel pCRL
Publication
Publication
Journal of Logic and Algebraic Programming , Volume 48 - Issue 2 p. 39- 70
Additional Metadata | |
---|---|
North-Holland | |
Journal of Logic and Algebraic Programming | |
Organisation | Computer Security |
Groote, J. F., Ponse, A., & Usenko, Y. (2001). Linearization in parallel pCRL. Journal of Logic and Algebraic Programming, 48(2), 39–70. |