Développement : Sémantique opérationnelle de constructions non séquentielles

Détails/Enoncé :

On ajoute une construction non-déterministe et une construction parallèle à While, on construit leur sémantique opérationnelle (SOS et SN), et on compare les deux.

Recasages pour l'année 2019 :

Versions :