Verifying Deadlock- and Livelock Freedom in an SOA Scenario. - Karsten Wolf; Christian Stahl; Janine Ott; Robert Danitz (ACSD, 2009)

Guaranteeing Weak Termination in Service Discovery. - Karsten Wolf; Christian Stahl; Daniela Weinberg; Janine Ott; Robert Danitz (Fundam. Informaticae, 2011)