APA (7th ed.) Citation

Johansson, M., Victor, B., & Parrow, J. (2012). Computing strong and weak bisimulations for psi-calculi. The journal of logic and algebraic programming, 81(3), 162-180. https://doi.org/10.1016/j.jlap.2012.01.001

Chicago Style (17th ed.) Citation

Johansson, Magnus, Björn Victor, and Joachim Parrow. "Computing Strong and Weak Bisimulations for Psi-calculi." The Journal of Logic and Algebraic Programming 81, no. 3 (2012): 162-180. https://doi.org/10.1016/j.jlap.2012.01.001.

MLA (9th ed.) Citation

Johansson, Magnus, et al. "Computing Strong and Weak Bisimulations for Psi-calculi." The Journal of Logic and Algebraic Programming, vol. 81, no. 3, 2012, pp. 162-180, https://doi.org/10.1016/j.jlap.2012.01.001.