Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7721335 | Ambient calculus-based modal logics for mobile ambients | Luca Cardelli, Andrew D. Gordon | 2010-05-18 |
| 6826751 | Ambient calculus-based modal logics for mobile ambients | Luca Cardelli, Andrew D. Gordon | 2004-11-30 |