Constructive specification and synthesis of agents for custom and cross RPC

• Authors:

• Yen-Min Huang

• Affiliations:

• Univ. of Michigan, Ann Arbor

• Venue:
• Constructive specification and synthesis of agents for custom and cross RPC
• Year:
• 1994