Exemples de calculs

• CCS, CSP, le p-calcul, … intègrent les notions de processus et de canaux de communica-tions.

  • (na)( a[b] || a[c] || a(x).P )

• Le calcul des ambients intègre des primitives de mobilité et de capacité.

  • (na)( a[ in b.P ] || b[ open a.Q ] )