Simulating mimd Multicomputers: the Mermaid approach