A formal description technique and an environment for protocol engineering.

Anthony Chung, Deepinder P. Sidhu

Browse the full CATA paper archive.