2007
Duplication of Constants in Process Algebra
Publication
Publication
Journal of Logic and Algebraic Programming , Volume 70 - Issue 2 p. 151- 171
Additional Metadata | |
---|---|
North-Holland | |
Journal of Logic and Algebraic Programming | |
Organisation | Computer Security |
Baeten, J., & Reniers, M. (2007). Duplication of Constants in Process Algebra. Journal of Logic and Algebraic Programming, 70(2), 151–171. |