Declarative interpretations of session-based concurrency
- Mauricio Cano
- , Camilo Rueda
- , Hugo-Andrés López-Acosta
- , Jorge A. Pérez
- Pontificia Universidad Javeriana Cali
- University of Groningen
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review