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