In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility.
Luca Giordano | Luca Francesconi | Accademia di San Luca | Luca Signorelli | Luca Ronconi | Luca Turilli | Luca Toni | Pallithanam Luca Matthai | Luigi Luca Cavalli-Sforza | Luca Paolini | Luca Pacioli | Luca Cumani | Luca Cardelli | Luca Pianca | Luca Marmorini | Luca Lombardi | Luca Guadagnino | Luca Beltrami | Giovanni Luca Conforti | The ''Communion of the Apostles'', by Luca Signorelli | Sergiu Luca | San Luca | Rudy De Luca | Marino Cardelli | ''Maria Anna of Neuburg on horseback'' by Luca Giordano | Luca Zingaretti | Luca Zaia | Luca Turilli's Rhapsody | Luca Turilli's Dreamquest | Luca Toso |
He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.