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 |
|---|
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