Inventor

CARDELLI LUCA

GB2 patents

Patents

2 patents

US6826751B1Nov 30, 2004

Ambient calculus-based modal logics for mobile ambients

MICROSOFT CORP5 citations67

US7721335B2May 18, 2010

Ambient calculus-based modal logics for mobile ambients

MICROSOFT CORP1 citations45