Passer au contenu principal

Types de sessions [Session types]

Qu'est-ce qu'une session et comment puis-je en créer ?