A formal proof of absence of deadlock for any acyclic network of PCI buses

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

Formal Methods in System Design - Special issue on formal methods for computer-added design

Experience with Applying Formal Methods to Protocol Specification and System Architecture

Formal Methods in System Design

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

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design

Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

On-Chip Communication Architectures: System on Chip Interconnect

On-Chip Communication Architectures: System on Chip Interconnect

Toward reliable and efficient message passing software through formal analysis

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing