A semantic model for safe protocol interaction.

Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott

Browse the full SAC paper archive.