affirmations simultanées - sont basés sur la sémantique d'horloge. Ils décrivent le comportement que couvre au fil du temps. Ils sont évalués seulement au coup d'horloge apparition de. Affirmations immédiates - sont exécutées comme une instruction dans un bloc de procédure.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.
