Relating Process Languages for Security and Communication Correctness (Extended Abstract).

Daniele Nantes, Jorge A. Prez

Browse the full FORTE paper archive.