Sémantique opérationnelle de constructions non séquentielles
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.
| Qualité | Numéro | Titre |
|---|
Versions
Rajouter une version
Utilisateur : sieghttct
À présenter tranquillement, en agitant beaucoup les mains...
Références :
Semantics with Applications: An Appetizer - H. R. Nielson, F. Nielson
Utilisateur : Meven
Références :
Semantics with Applications: An Appetizer - H. R. Nielson, F. Nielson