Dabrowski, Frédéric A denotational semantics of textually aligned SPMD programs. (English) Zbl 1435.68058 J. Log. Algebr. Methods Program. 108, 90-104 (2019). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{F. Dabrowski}, J. Log. Algebr. Methods Program. 108, 90--104 (2019; Zbl 1435.68058) Full Text: DOI
Guanciale, Roberto; Tuosto, Emilio Realisability of pomsets. (English) Zbl 1435.68213 J. Log. Algebr. Methods Program. 108, 69-89 (2019). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{R. Guanciale} and \textit{E. Tuosto}, J. Log. Algebr. Methods Program. 108, 69--89 (2019; Zbl 1435.68213) Full Text: DOI Link
Balbiani, Philippe; Boudou, Joseph Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 1435.03055 J. Log. Algebr. Methods Program. 108, 47-68 (2019). MSC: 03B70 03B25 PDFBibTeX XMLCite \textit{P. Balbiani} and \textit{J. Boudou}, J. Log. Algebr. Methods Program. 108, 47--68 (2019; Zbl 1435.03055) Full Text: DOI Link
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe A modular framework for verifying versatile distributed systems. (English) Zbl 1435.68191 J. Log. Algebr. Methods Program. 108, 24-46 (2019). MSC: 68Q60 68M14 PDFBibTeX XMLCite \textit{F. Chevrou} et al., J. Log. Algebr. Methods Program. 108, 24--46 (2019; Zbl 1435.68191) Full Text: DOI Link
Fervari, Raul; Velázquez-Quesada, Fernando R. Introspection as an action in relational models. (English) Zbl 1435.03035 J. Log. Algebr. Methods Program. 108, 1-23 (2019). MSC: 03B42 PDFBibTeX XMLCite \textit{R. Fervari} and \textit{F. R. Velázquez-Quesada}, J. Log. Algebr. Methods Program. 108, 1--23 (2019; Zbl 1435.03035) Full Text: DOI