A hierarchy of failures-based models: theory and application

Christie Bolton, Gavin Lowe. A hierarchy of failures-based models: theory and application. Theoretical Computer Science, 330(3):407-438, 2005. [doi]

Abstract

Abstract is missing.