Type-Based Verification of Correspondence Assertions for Communication Protocols.

Daisuke Kikuchi, Naoki Kobayashi

Browse the full APLAS paper archive.