• Aucun résultat trouvé

A correct-by-construction model for asynchronously communicating systems

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "A correct-by-construction model for asynchronously communicating systems"

Copied!
22
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Fig. 2 The set of Peers projected from the CP of Example 1
Fig. 4 A trace of the asynchronous system on the projected peers of
Table 1 Correspondence between A_G S, S_G S and global queue in
Fig. 8 An asynchronous trace on the projected peers of Fig. 5 conforms to the CP of Fig
+7

Références

Télécharger maintenant ( PDF - 22 Page - 3.19 MB )

Documents relatifs