Formalization of an architectural model for exception handling coordination based on CA action concepts

DOI10.1016/j.scico.2009.12.006zbMath1192.68161OpenAlexW2013853884MaRDI QIDQ967556

Ana C. V. de Melo, David P. Pereira

Publication date: 29 April 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.12.006

zbMATH Keywords

fault toleranceCSPconcurrent exception handlingcoordinated atomic actionFailure Divergence Refinement

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• Reo
• FDR2

Cites Work

• The B-Book
• Reo: a channel-based coordination model for component composition
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalization of an architectural model for exception handling coordination based on CA action concepts