Formal Specification and Verification of Transactional Service Composition.

Iman Saleh, Gregory Kulczycki, M. Brian Blake

Browse the full SERVICES paper archive.