A Hierarchy of Failures-Based Models

Christie Bolton and Gavin Lowe

journal	Electr. Notes Theor. Comput. Sci.
pages	129-152
volume	96
year	2004

people	Gavin Lowe
activities	Concurrency