Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna On first-order runtime enforcement of branching-time properties. (English) Zbl 07768655 Acta Inf. 60, No. 4, 385-451 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Aceto} et al., Acta Inf. 60, No. 4, 385--451 (2023; Zbl 07768655) Full Text: DOI
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna On bidirectional runtime enforcement. (English) Zbl 1489.68135 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 3-21 (2021). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 12719, 3--21 (2021; Zbl 1489.68135) Full Text: DOI
Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda Rule formats for nominal process calculi. (English) Zbl 1442.68119 Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019). MSC: 68Q85 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019; Zbl 1442.68119) Full Text: arXiv
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna On runtime enforcement via suppressions. (English) Zbl 1520.68069 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018; Zbl 1520.68069) Full Text: DOI arXiv
Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda Rule formats for nominal process calculi. (English) Zbl 1442.68120 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 10, 16 p. (2017). MSC: 68Q85 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 10, 16 p. (2017; Zbl 1442.68120) Full Text: DOI
Aceto, L.; Fábregas, I.; García-Pérez, A.; Ingólfsdóttir, A. A unified rule format for bounded nondeterminism in SOS with terms as labels. (English) Zbl 1373.68285 J. Log. Algebr. Methods Program. 92, 64-86 (2017). MSC: 68Q55 68N30 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 92, 64--86 (2017; Zbl 1373.68285) Full Text: DOI
Aceto, Luca; Goriac, Eugen-Ioan; Ingolfsdottir, Anna A ground-complete axiomatization of stateless bisimilarity over Linda. (English) Zbl 1302.68198 Inf. Process. Lett. 115, No. 2, 212-220 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Inf. Process. Lett. 115, No. 2, 212--220 (2015; Zbl 1302.68198) Full Text: DOI
Aceto, Luca; Ingolfsdottir, Anna; Goriac, Eugen-Ioan SOS rule formats for idempotent terms and idempotent unary operators. (English) Zbl 1283.68200 J. Log. Algebr. Program. 83, No. 1, 64-80 (2014). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Program. 83, No. 1, 64--80 (2014; Zbl 1283.68200) Full Text: DOI
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. Rule formats for distributivity. (English) Zbl 1279.68180 Theor. Comput. Sci. 458, 1-28 (2012). MSC: 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 458, 1--28 (2012; Zbl 1279.68180) Full Text: DOI
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. SOS rule formats for zero and unit elements. (English) Zbl 1216.68152 Theor. Comput. Sci. 412, No. 28, 3045-3071 (2011). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 412, No. 28, 3045--3071 (2011; Zbl 1216.68152) Full Text: DOI
Ingólfsdóttir, Anna A semantic theory for value-passing processes based on the late approach. (English) Zbl 1028.68094 Inf. Comput. 184, No. 1, 1-44 (2003). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{A. Ingólfsdóttir}, Inf. Comput. 184, No. 1, 1--44 (2003; Zbl 1028.68094) Full Text: DOI