Balance term structure for parallel composition operator.#1792

Draft

jkeiren wants to merge 7 commits intomCRL2org:masterfrom jkeiren:feature/balance-merge

+254-127

Commits on Nov 12, 2024

Balance term structure for parallel composition operator.
jkeiren
committed

Commits on Nov 13, 2024

Cache process equations in alphabet reductions
jkeiren
committed

Commits on Nov 15, 2024

Commits on Nov 26, 2024