Channel Representations in Protocol Verification.

Parosh Aziz Abdulla, Bengt Jonsson

Browse the full CONCUR paper archive.