Declarative Interpretations of Session-Based Concurrency

Authors

Mauricio Cano, Hugo A. Lopez, Jorge A Pérez, Camilo Rueda,