A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS | Publicación