Aceto, L., Anastasiadi, E., Castiglioni, V., Ingolfsdottir, A., & Luttik, B. (2021, June 29). In search of lost time: Axiomatising parallel composition in process algebras. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470526
Citace podle Chicago (17th ed.)Aceto, Luca, Elli Anastasiadi, Valentina Castiglioni, Anna Ingolfsdottir, a Bas Luttik. "In Search of Lost Time: Axiomatising Parallel Composition in Process Algebras." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470526.
Citace podle MLA (9th ed.)Aceto, Luca, et al. "In Search of Lost Time: Axiomatising Parallel Composition in Process Algebras." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470526.