Pinned Loading

1. mistupv/rev-erlang mistupv/rev-erlang Public

   An implementation of the reversible semantics for Erlang.

   Erlang 13

2. mistupv/slicerl mistupv/slicerl Public

   Slicing for Erlang

   Erlang 8

3. mistupv/csp_tracker mistupv/csp_tracker Public

   CSP-Tracker: Generator of CSP tracks

   Erlang 2 1

4. tamarit/pn_suite tamarit/pn_suite Public

   A suite of tools for Petri Nets

   Erlang 13 2

5. mistupv/slice_dialyzer mistupv/slice_dialyzer Public

   Erlang

6. mistupv/rev-rewriting mistupv/rev-rewriting Public

   A tool for the transformation of an irreversible Term Rewriting System into a reversible one

   Prolog 7 2