Linguistic Support for Controlling Protocol Execution. - Yen-Min Huang; Chinya V. Ravishankar (ICDCS, 1994)

Designing an Agent Synthesis System for Cross-RPC Communication. - Yen-Min Huang; Chinya V. Ravishankar (IEEE Trans. Software Eng., 1994)

Constructive specification and synthesis of agents for custom and cross RPC. - Yen-Min Huang (1994)

URPC: A Toolkit for Prototyping Remote Procedure Calls. - Yen-Min Huang; Chinya V. Ravishankar (Comput. J., 1996)

Secure synthesis and activation of protocol translation agents. - Yen-Min Huang; Chinya V. Ravishankar (Distributed Syst. Eng., 1997)

Constructive Protocol Specification Using Cicero. - Yen-Min Huang; Chinya V. Ravishankar (IEEE Trans. Software Eng., 1998)