Eighth Meeting
The meeting took place in
Paris on October 23rd, 2002
. The following talks were presented here:
Monika Maidl (Edinburgh):
Simple Representative Instantiations for Multicast Protocols
Blaise Genest (Paris):
Local Choice HMSCs: Don't Choose Globally, Implement Easily
Peter Habermehl (Paris): Constraint Automata vs. Ibarra Automata
Javier Esparza (Edinburgh):
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
The meeting was followed by a review of the
deliverables
of the project for the year 2002.