Owe, Olaf; McDowell, Charlie On detecting over-eager concurrency in asynchronously communicating concurrent object systems. (English) Zbl 1371.68198 J. Log. Algebr. Methods Program. 90, 158-175 (2017). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Pardo, Raúl; Balliu, Musard; Schneider, Gerardo Formalising privacy policies in social networks. (English) Zbl 1371.68076 J. Log. Algebr. Methods Program. 90, 125-157 (2017). MSC: 68P25 68T27 91D30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Berghammer, Rudolf; Stucke, Insa; Winter, Michael Using relation-algebraic means and tool support for investigating and computing bipartitions. (English) Zbl 1371.68170 J. Log. Algebr. Methods Program. 90, 102-124 (2017). MSC: 68Q55 03E20 03G15 18B10 68T15 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro Kleisli, Parikh and Peleg compositions and liftings for multirelations. (English) Zbl 1371.68171 J. Log. Algebr. Methods Program. 90, 84-101 (2017). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Toninho, Bernardo; Yoshida, Nobuko Certifying data in multiparty session types. (English) Zbl 1371.68201 J. Log. Algebr. Methods Program. 90, 61-83 (2017). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Cogumbreiro, Tiago; Shirako, Jun; Sarkar, Vivek Formalization of Habanero phasers using Coq. (English) Zbl 1371.68050 J. Log. Algebr. Methods Program. 90, 50-60 (2017). MSC: 68N30 68T15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti Data-driven adaptation for smart sessions. (English) Zbl 1371.68188 J. Log. Algebr. Methods Program. 90, 31-49 (2017). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI Link
Mezzina, Claudio Antares; Pérez, Jorge A. Reversibility in session-based concurrency: a fresh look. (English) Zbl 1371.68194 J. Log. Algebr. Methods Program. 90, 2-30 (2017). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI Link
Orchard, Dominic (ed.); Yoshida, Nobuko (ed.) Guest editors’ foreword. (English) Zbl 1366.00071 J. Log. Algebr. Methods Program. 90, 1 (2017). MSC: 00B25 68-06 × Cite Format Result Cite Review PDF Full Text: DOI