Edinburgh Research Explorer

On Process Equivalence = Equation Solving in CCS

Research output: Contribution to journalArticle

Standard

On Process Equivalence = Equation Solving in CCS. / Monroy, Raul; Bundy, Alan; Green, Ian.

In: Journal of Automated Reasoning, Vol. 43, No. 1, 06.2009, p. 53-80.

Research output: Contribution to journalArticle

Harvard

Monroy, R, Bundy, A & Green, I 2009, 'On Process Equivalence = Equation Solving in CCS' Journal of Automated Reasoning, vol. 43, no. 1, pp. 53-80. DOI: 10.1007/s10817-009-9125-x

APA

Monroy, R., Bundy, A., & Green, I. (2009). On Process Equivalence = Equation Solving in CCS. DOI: 10.1007/s10817-009-9125-x

Vancouver

Monroy R, Bundy A, Green I. On Process Equivalence = Equation Solving in CCS. Journal of Automated Reasoning. 2009 Jun;43(1):53-80. Available from, DOI: 10.1007/s10817-009-9125-x

Author

Monroy, Raul ; Bundy, Alan ; Green, Ian. / On Process Equivalence = Equation Solving in CCS. In: Journal of Automated Reasoning. 2009 ; Vol. 43, No. 1. pp. 53-80