Première page Précédent Suivant Dernière page Résumé Image

Modeling Asynchrony

Asynchronous behaviour
Histories = V ® D∞∪{*}
Desynchronization
-  : Traces(U) ® Histories(U)
- ∀v∈U , (r.t)(v) =
  - (r(v)).(t)(v)

∀v∉U , (t)(v) = *

(⊥) = , (x) = x

Notes: