Sciweavers

755 search results - page 67 / 151
» On the computability of agent-based workflows
Sort
View
SOCA
2007
IEEE
15 years 4 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini