APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

Cervesato, Iliano, und 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-Zitierstil (9. Ausg.)

Cervesato, Iliano, und 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.