8.1. Liste des figures🔗

• Figure 1 : Spécialisation du jugement germinal en trois instances de couche
• Figure 2 : Emboîtement des trois fragments logiques par restriction successive des règles structurelles
• Figure 3 : Dualité algèbre initiale / coalgèbre terminale, dans C et C^op
• Figure 4 : Contraction et affaiblissement, trois modalités sur quatre combinaisons possibles
• Figure 5 : Un protocole de session comme automate à états
• Figure 6 : Le même protocole, lu comme échange dual entre deux extrémités
• Figure 7 : Hiérarchie de complexité des R-expressions
• Figure 8 : Partitionnement statique d'une arène SoA entre fibrilles concurrentes (SWMR)
• Figure 9 : Cycle de vie d'un acteur virtuel
• Figure 10 : Le circuit breaker de session : rejet avant réveil de la fibre
• Figure 11 : Les huit phases du pipeline de compilation
• Figure 12 : Le cycle réactif unidirectionnel à travers les trois couches
• Figure 13 : Les quatre services du LSP, chacun ancré dans un mécanisme déjà construit