Eric Gascard, Laurence Pierre. Formal Proof of Applications Distributed in Symmetric Interconnection Networks. Parallel Processing Letters, 13(1):3-18, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.