Specification and Verification of a MPI Implementation for a MP-SoC. - Umberto Souza da Costa; Ivan Soares de Medeiros Júnior; Marcel Vinícius Medeiros Oliveira (ICTAC, 2010)

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. - Marcel Vinícius Medeiros Oliveira; Ivan Soares de Medeiros Júnior; Jim Woodcock 001 (SEFM, 2013)