Recent Changes - Search:

edit SideBar


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

Edit - History - Print - Recent Changes - Search
Page last modified on November 01, 2014, at 03:41 PM