Description

Rewriting logic structures and rules that give the Kayrebt activity diagrams their semantics.

Repository

Master: https://www.lgeorget.eu/git/?p=kayrebt-exec.git