A Model-Checking Approach for Service Component Architectures.

Joo Abreu, Franco Mazzanti, Jos Luiz Fiadeiro, Stefania Gnesi

Browse the full FORTE paper archive.