2Mokkedem Abdel. Formalization and Analysis of a Solution to the PCI 2. 1 Bus Transaction Ordering Problem[J]. Formal Methods in System Design, 2000,16(1 ): 93- 119.
3Pinkston Timothy Mark. InfiniBand :The "De Facto" Future Standard for System and Local Area Networks or Just a Scalable Replacement for PCI Buses? [J]. Cluster Computing,2003,6(2):95-104.
