External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Patterns and Rules for Behavioural Subtyping

Heike Wehrheim. Patterns and Rules for Behavioural Subtyping. In Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee, editors, Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21:::st::: International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. Volume 197 of IFIP Conference Proceedings, pages 335-352, Kluwer, 2001.

Abstract

Abstract is missing.

runs on