Efficient deadlock analysis of component-based software architectures

Christian Lambertz, Mila E. Majster-Cederbaum. Efficient deadlock analysis of component-based software architectures. Science of Computer Programming, 78(12):2488-2510, 2013. [doi]

Abstract

Abstract is missing.