Fernando Castor Filho, Patrick Henrique da S. Brito, CecĂlia M. F. Rubira. Reasoning About Exception Flow at the Architectural Level. In Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, pages 80-99, Springer, 2006. [doi]
Abstract is missing.