Syntactic Regions for Concurrent Programs. - Samuel Mimram; Aly-Bora Ulusoy (MFPS, 2021)

A syntactic approach to the directed semantics of programs. (Une approche syntactique à la sémantique dirigée des programmes). - Aly-Bora Ulusoy (2023)