Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 7721335 | Ambient calculus-based modal logics for mobile ambients | Luca Cardelli, Andrew D. Gordon | 2010-05-18 | $13,421,000 |
| 6826751 | Ambient calculus-based modal logics for mobile ambients | Luca Cardelli, Andrew D. Gordon | 2004-11-30 | $50,767,000 |