MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Lazy Behavioral Subtyping." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Lazy behavioral subtyping  
  • by Johan Dovland, Einar B. Johnsen, Martin Steffen, Johan Dovl, Einar Broch Johnsen, Olaf Owe, Martin Steffen — 2007 — Proc. 15th International Symposium on Formal Methods (FM’08), volume 5014 of LNCS
  • …Universitetet i Oslo Institutt for informatikk Lazy Behavioral Subtyping Johan Dovland, Einar B…
  • Cited by 2 (2 self) – Add To MetaCart
  • Lazy Behavioral Subtyping ⋆  
  • by Johan Dovl, Einar Broch Johnsen, Olaf Owe, Martin Steffen
  • …Lazy Behavioral Subtyping ⋆ Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen Dept…
  • Add To MetaCart
  • Incremental Reasoning for Multiple Inheritance  
  • by Johan Dovland, Einar B. Johnsen, Martin Steffen, Johan Dovl, Einar Broch Johnsen, Olaf Owe, Martin Steffen — 2008
  • …, based on a notion of lazy behavioral subtyping, is less restrictive than behavioral subtyping and fits…
  • Add To MetaCart
  • unknown title  
  • by Lazy Behavioral, Subtyping Johan Dovl, Einar Broch Johnsen, Olaf Owe, Martin Steffen
  • … Lazy Behavioral Subtyping ? Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen…
  • Add To MetaCart
  • Printed by AlfapressPreface  
  • by Ttü Küberneetika Instituut, Edited Tarmo Uustalu, Jüri Vain, Juhan Ernits — 2008
  • … of mobile processes 28 Johan Dovland, Einar Broch Johnsen, Olaf Owe and Martin Steffen Lazy behavioral…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB