Telecharger Cours

Notes de cours sur le langage FSP

Cet outil repose sur la notion de transition étiquetée (LTS ?. Labelled Transition System). À une expression dans le langage FSP peut être associée un automate.



Download