Sections: home | consortium | meetings | output | private
You are here: home < meetings < Firenze December 2002

Plenary Workshop
Firenze, 5-6 December 2002

Subsections: Participants | Meeting place | Agenda | List of presentations

Participants

• Gérard Boudol, Ilaria Castellani, Xudong Guan, Ana Matos and Jean-Bernard Stefani for INRIA
• Vasco Vasconcelos for Lisbon
• Mariangiola Dezani, Elio Giovannetti, Rocco De Nicola, Michele Loreti, Lorenzo Bettini, Betti Venneri, Rosario Pugliese, Daniele Gorla, Michele Boreale, Mario Coppo, Maddalena Zacchi for Florence/Turin
• Matthew Hennessy for Sussex
• Marc Lacoste, France Telecom
• Eugenio Moggi, from the Advisory Board

Meeting Place

Room n. 32, Dipartimento di Statistica, Viale Morgagni 59, 50134 Firenze (map)

Agenda

December 5, 2002, afternoon

1. Welcome and Introduction (JB Stefani and R. De Nicola)
2. Technical presentations
   • An infrastructure language for open nets, M. Loreti
   • A calculus of higher-order distributed components, JB Stefani
   • Mobile types for mobile processes in mobile ambients, M. Coppo

December 6, 2002, morning

1. Technical presentations
   • Guardians for ambient-based monitoring, E. Moggi
   • Resource access control with dynamic privileges acquisition of rights, D. Gorla (presentation pdf, 138 kBytes)
   • Non-interference on the pi-calculus, M. Hennessy
   • X-Klaim and Klava: Programming Mobile Code, L. Bettini

December 6, 2002, afternoon

1. Technical presentations
   • An abstract machine for a higher-order distributed process calculus, M. Lacoste (presentation pdf, 422 kBytes)
   • Wagon: walls and agents in ambients, X. Guan (presentation pdf, 121 kBytes)
2. Discussion on deliverables, project review and Trento workshop

About this site. Last modified: Mon Mar 10 11:09:50 WET 2003