Guaranteeing Weak Termination in Service Discovery

DOI10.3233/FI-2011-417zbMath1242.68188OpenAlexW1651567942MaRDI QIDQ2895782

Janine Ott, Christian Stahl, Daniela Weinberg, Robert Danitz, Karsten Schmidt

Publication date: 4 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-417

zbMATH Keywords

state space reductiondeadlock freedomSOAservice discoverylivelock freedom

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

This page was built for publication: Guaranteeing Weak Termination in Service Discovery