6.4 Conclusion
Nous avons proposé une extension du langage LOTOS,
nommée Q-LOTOS et nous avons donné sa syntaxe formelle et sa
sémantique opérationnelle exprimée par un STE et qui peut
être aussi exprimée par un STEP que nous n'avons pas
exploré le long de ce mémoire pour des raisons liés au
temps, et qui nous souhaitons être faite dans un future travail.
58
| 
