Not registered as user yet

Name: Folkert de Vries

Affiliation: University of Groningen

Contributions

PLNL 2018Author of Reversible Session-Based Concurrency, and its Haskell Implementation within the PLNL-track