A hierarchy of failures-based models: theory and application

Christie Bolton and Gavin Lowe

journal	Theoretical Computer Science
number	3
pages	407-438
volume	330
year	2005

people	Gavin Lowe
activities	Concurrency