Specifying modules to satisfy interfaces: a state transition system approach

• Authors:

• Simon S. Lam;A. Udaya Shankar

• Affiliations:

• The Univ. of Texas, Austin;Univ. of Maryland, College Park

• Venue:
• Specifying modules to satisfy interfaces: a state transition system approach
• Year:
• 1988