Session-based concurrency, declaratively

Mauricio Cano, Hugo A. López, Jorge A. Pérez 0001, Camilo Rueda. Session-based concurrency, declaratively. Acta Informatica, 59(1):1-87, 2022. [doi]

Abstract

Abstract is missing.