Sciweavers

57
Voted
ACSD
2009
IEEE
118views Hardware» more  ACSD 2009»
15 years 3 months ago
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
Karsten Wolf, Christian Stahl, Janine Ott, Robert ...