Sciweavers

AWPN
2008
273views Algorithms» more  AWPN 2008»
13 years 5 months ago
An Approach to Tackle Livelock-Freedom in SOA
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
Christian Stahl, Karsten Wolf