Configuration logics: Modeling architecture styles

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis. Configuration logics: Modeling architecture styles. Journal of Logic and Algebraic Programming, 86(1):2-29, 2017. [doi]

Authors

Anastasia Mavridou

This author has not been identified. Look up 'Anastasia Mavridou' in Google

Eduard Baranov

This author has not been identified. Look up 'Eduard Baranov' in Google

Simon Bliudze

This author has not been identified. Look up 'Simon Bliudze' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google