Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.

Abdel Mokkedem Ravi Hosabettu Michael D. Jones Ganesh Gopalakrishnan Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. 93-119 2000 16 Formal Methods in System Design 1 db/journals/fmsd/fmsd16.html#MokkedemHJG00