A Generic Cost Model for Concurrent and Data-parallel Meta-computing. - Armelle Merlin; Gaétan Hains (AVoCS, 2004)

A bulk-synchronous parallel process algebra. - Armelle Merlin; Gaétan Hains (Comput. Lang. Syst. Struct., 2007)