Yen-Min Huang

According to our database, Yen-Min Huang authored at least 6 papers between 1994 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Constructive Protocol Specification Using Cicero.

Yen-Min Huang, Chinya V. Ravishankar

IEEE Trans. Software Eng., 1998

1997

Secure synthesis and activation of protocol translation agents.

Yen-Min Huang, Chinya V. Ravishankar

Distributed Syst. Eng., 1997

1996

URPC: A Toolkit for Prototyping Remote Procedure Calls.

Yen-Min Huang, Chinya V. Ravishankar

Comput. J., 1996

1994

Constructive specification and synthesis of agents for custom and cross RPC.

Yen-Min Huang

PhD thesis, 1994

Designing an Agent Synthesis System for Cross-RPC Communication.

Yen-Min Huang, Chinya V. Ravishankar

IEEE Trans. Software Eng., 1994

Linguistic Support for Controlling Protocol Execution.

Yen-Min Huang, Chinya V. Ravishankar

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994