Francalanza, Adrian; Cini, Clare Computer says no: verdict explainability for runtime monitors using a local proof system. (English) Zbl 1455.68103 J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. Francalanza} and \textit{C. Cini}, J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021; Zbl 1455.68103) Full Text: DOI
Drămnesc, Isabela; Jebelean, Tudor Synthesis of sorting algorithms using multisets in Theorema. (English) Zbl 1455.68245 J. Log. Algebr. Methods Program. 119, Article ID 100635, 26 p. (2021). MSC: 68V15 68P10 PDFBibTeX XMLCite \textit{I. Drămnesc} and \textit{T. Jebelean}, J. Log. Algebr. Methods Program. 119, Article ID 100635, 26 p. (2021; Zbl 1455.68245) Full Text: DOI arXiv
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. (English) Zbl 1509.68243 J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021). MSC: 68T20 68V15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021; Zbl 1509.68243) Full Text: DOI arXiv
Kannimoola, Jinesh M.; Jayaraman, Bharat; Achuthan, Krishnashree Semantics of temporal constrained objects. (English) Zbl 1509.68037 J. Log. Algebr. Methods Program. 119, Article ID 100632, 17 p. (2021). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{J. M. Kannimoola} et al., J. Log. Algebr. Methods Program. 119, Article ID 100632, 17 p. (2021; Zbl 1509.68037) Full Text: DOI
Gorla, Daniele; Salvo, Ivano Conflict vs causality in event structures. (English) Zbl 1509.68186 J. Log. Algebr. Methods Program. 119, Article ID 100631, 16 p. (2021). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. Gorla} and \textit{I. Salvo}, J. Log. Algebr. Methods Program. 119, Article ID 100631, 16 p. (2021; Zbl 1509.68186) Full Text: DOI arXiv
Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. (English) Zbl 1458.90393 J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021). MSC: 90B50 90B70 PDFBibTeX XMLCite \textit{F. Corradini} et al., J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021; Zbl 1458.90393) Full Text: DOI
Prokić, Ivan; Vieira, Hugo Torres The \(C_\pi\)-calculus: a model for confidential name passing. (English) Zbl 1455.68128 J. Log. Algebr. Methods Program. 119, Article ID 100622, 32 p. (2021). MSC: 68Q85 68M25 PDFBibTeX XMLCite \textit{I. Prokić} and \textit{H. T. Vieira}, J. Log. Algebr. Methods Program. 119, Article ID 100622, 32 p. (2021; Zbl 1455.68128) Full Text: DOI arXiv
Bozga, Marius; Iosif, Radu; Sifakis, Joseph Checking deadlock-freedom of parametric component-based systems. (English) Zbl 1455.68102 J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{M. Bozga} et al., J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021; Zbl 1455.68102) Full Text: DOI arXiv
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio Composition and decomposition of multiparty sessions. (English) Zbl 1462.68120 J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021; Zbl 1462.68120) Full Text: DOI Link