An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Browse the full FMICS paper archive.