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
Citace podle Chicago (17th ed.)Cervesato, Iliano, a 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.
Citace podle MLA (9th ed.)Cervesato, Iliano, a 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..