Formal Proof of Applications Distributed in Symmetric Interconnection Networks

@article{Gascard2003FormalPO,
  title={Formal Proof of Applications Distributed in Symmetric Interconnection Networks},
  author={Eric Gascard and Laurence Pierre},
  journal={Parallel Processing Letters},
  year={2003},
  volume={13},
  pages={3-18}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…