Currently browsing

Session-Based Concurrency: Between Operational and Declarative Views

Mauricio Alejandro Cano Grijlaba First promotor: prof. Jorge A. Pérez (RUG) Second promotor: Prof. Gerard Renardel de Lavalette (RUG) University of Groningen Date: 7 January 2020 Thesis: PDF Summary The analysis of message-passing programs remains an open challenge for Computer Science. In particular, certifying a program’s conformance with respect to …