erwanM974/hibou_label
HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
RustApache-2.0
No issues in this repository yet.
HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
RustApache-2.0
No issues in this repository yet.