A formal architectural model for exception handling coordination. - David P. Pereira; Ana Cristina Vieira de Melo (SAC, 2008)

Formalization of an architectural model for exception handling coordination based on CA action concepts. - David P. Pereira; Ana Cristina Vieira de Melo (Sci. Comput. Program., 2010)