• View
• Edit
• History
• Print

Subtyping

The question here is: When is accessor A a subtype of accessor B?

Subtyping relationships for actors are discussed in Lee and Seshia, in the chapter on Equivalence and Refinement (Chapter 13 in the first edition), which is a free download.

Back to main accessors wiki