Sciweavers

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