P

Inventor

LANEVE COSIMO

IT1 patents

Patents

1 patent
US7685566B2Mar 23, 2010

Structured message process calculus

MICROSOFT CORP25 citations88