Reasoning about Layered Message Passing Systems.

B. Meenakshi, Ramaswamy Ramanujam

Browse the full VMCAI paper archive.