APA (7th ed.) Citation

Cervesato, I., & Scedrov, A. (2006). Relating State-Based and Process-Based Concurrency through Linear Logic. Electronic notes in theoretical computer science, 165, 145-176. https://doi.org/10.1016/j.entcs.2006.05.043

Chicago Style (17th ed.) Citation

Cervesato, Iliano, and Andre Scedrov. "Relating State-Based and Process-Based Concurrency Through Linear Logic." Electronic Notes in Theoretical Computer Science 165 (2006): 145-176. https://doi.org/10.1016/j.entcs.2006.05.043.

MLA (9th ed.) Citation

Cervesato, Iliano, and Andre Scedrov. "Relating State-Based and Process-Based Concurrency Through Linear Logic." Electronic Notes in Theoretical Computer Science, vol. 165, 2006, pp. 145-176, https://doi.org/10.1016/j.entcs.2006.05.043.