hmelgra / reversible-ccs-as-nets

Haskell implementation of the encoding of reversible CCS as reversible Petri nets

Geek Repo

Github PK Tool