Searching for "Behavioural Subtyping and Property Preservation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Behavioural Subtyping and Property preservation
by Heike Wehrheim — 2000 — FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (FMOODS 2000
…BEHAVIOURAL SUBTYPING AND PROPERTY PRESERVATION Heike Wehrheim Universit-at Oldenburg Fachbereich…
Cited by 6 (1 self) – Add To MetaCart

Behavioural Subtyping and Property Preservation for Objects Oriented Formalisms
by Nabil Hameurlain — 2002 — IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002, 20-22 March 2002, Kluwer
…1 Behavioural Subtyping and Property Preservation for Objects Oriented Formalisms Nabil Hameurlain…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB