Skip to content

feat(uc): coherence shapes for interleaving; the process model's laws as instances - #191

Open
dtumad wants to merge 5 commits into
mainfrom
dtumad/uc-activation-coherence
Open

feat(uc): coherence shapes for interleaving; the process model's laws as instances#191
dtumad wants to merge 5 commits into
mainfrom
dtumad/uc-activation-coherence

refactor(uc): derive the plug factorization laws from the coherence s…

e65f9de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view