APA (7th ed.) Citation

Cervesato, I., & Scedrov, A. (2009). Relating state-based and process-based concurrency through linear logic (full-version). Information and computation, 207(10), 1044-1077. https://doi.org/10.1016/j.ic.2008.11.006

Chicago Style (17th ed.) Citation

Cervesato, Iliano, and Andre Scedrov. "Relating State-based and Process-based Concurrency Through Linear Logic (full-version)." Information and Computation 207, no. 10 (2009): 1044-1077. https://doi.org/10.1016/j.ic.2008.11.006.

MLA (9th ed.) Citation

Cervesato, Iliano, and Andre Scedrov. "Relating State-based and Process-based Concurrency Through Linear Logic (full-version)." Information and Computation, vol. 207, no. 10, 2009, pp. 1044-1077, https://doi.org/10.1016/j.ic.2008.11.006.