Contextual Equivalence for Higher-Order π-Calculus Revisited.

MLA

Jeffrey, Alan, and Julian Rathke. “Contextual Equivalence for Higher-Order π-Calculus Revisited. (Portuguese).” ENTCS: Electronic Notes in Theoretical Computer Science, vol. 83, Oct. 2003, pp. 149–68. EBSCOhost, https://doi.org/10.1016/S1571-0661(03)50008-1.

APA

Jeffrey, A., & Rathke, J. (2003). Contextual Equivalence for Higher-Order π-Calculus Revisited. (Portuguese). ENTCS: Electronic Notes in Theoretical Computer Science, 83, 149–168. https://doi.org/10.1016/S1571-0661(03)50008-1

Chicago

Jeffrey, Alan, and Julian Rathke. 2003. “Contextual Equivalence for Higher-Order π-Calculus Revisited. (Portuguese).” ENTCS: Electronic Notes in Theoretical Computer Science 83 (October): 149–68. doi:10.1016/S1571-0661(03)50008-1.