Backward validation of communicating complex state machines in web services environments

Farah Zoubeyr, Abdelkamel Tari, Aris M. Ouksel. Backward validation of communicating complex state machines in web services environments. Distributed and Parallel Databases, 27(3):255-270, 2010. [doi]

Abstract

Abstract is missing.