Implementation of `Generic Synchronization Policies' in Pict

This report presents the implementation of the "Generic Synchronization Policies" (abbreviated as GSP) using the language Pict. The main goal of this work was to see how well suited Pict is for implementing higher level abstractions. The remainder of this report is structured as follows: Section 2 briefly introduces the GSP concept. Pict and its object model are presented in section 3. The implementation of GSP is the heart of section 4. Finally, Section 5 mention future possible works.