This minor release contains: - a polished version of the PACTOLE type classes based model. - New case studies including - algorithms using colours - algorithms on the ASYNC variant of the model - cleaned up case studies, including axioms removal.
This minor release contains: - a polished version of the PACTOLE type classes based model. - New case studies including - algorithms using colours - algorithms on the ASYNC variant of the model - cleaned up case studies, including axioms removal.