Cano, Mauricio; López, Hugo A.; Pérez, Jorge A.; Rueda, Camilo Session-based concurrency, declaratively. (English) Zbl 1522.68358 Acta Inf. 59, No. 1, 37-123 (2022). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres Combining behavioural types with security analysis. (English) Zbl 1330.68045 J. Log. Algebr. Methods Program. 84, No. 6, 763-780 (2015). MSC: 68N19 × Cite Format Result Cite Review PDF Full Text: DOI arXiv