Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? (English) Zbl 1508.68239 ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022; Zbl 1508.68239) Full Text: DOI arXiv
Basin, David; Klaedtke, Felix; Zălinescu, Eugen Runtime verification over out-of-order streams. (English) Zbl 1433.68208 ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020). MSC: 68Q60 03B44 68Q10 68Q85 PDFBibTeX XMLCite \textit{D. Basin} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020; Zbl 1433.68208) Full Text: DOI arXiv
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Luttik, Bas A finite equational base for CCS with left merge and communication merge. (English) Zbl 1367.68207 ACM Trans. Comput. Log. 10, No. 1, Article No. 6, 26 p. (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., ACM Trans. Comput. Log. 10, No. 1, Article No. 6, 26 p. (2009; Zbl 1367.68207) Full Text: DOI