Title: Systèmes de transitions finis et sémantique des processus communicants