Notation for the model of computation
Merge branch 'master' of https://github.com/subodhvsharma/unfolding-concur
Merge branch 'master' of https://github.com/subodhvsharma/unfolding-concur
Solving compilation problems + beginning of S.3