Développement #558

Titre : Sémantique opérationnelle de constructions non séquentielles

Contenu : 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.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42