hmelgra's repositories
reversible-ccs-as-nets
Haskell implementation of the encoding of reversible CCS as reversible Petri nets
Multiparty-preorders
Prolog implementation of multiparty testing preorders
Language:Prolog000
Pisa2020-course
Course material on Behavioural types and DbC