Linguistic Support for Controlling Protocol Execution.

Yen-Min Huang, Chinya V. Ravishankar

Browse the full ICDCS paper archive.