Union and actualization of module specifications: some compatibility results

• Authors:

• Francesco Parisi-Presicce

• Affiliations:

• Univ. of Southern California, Los Angeles

• Venue:
• Journal of Computer and System Sciences
• Year:
• 1987