Liveness of Safe Object Nets

Michael Köhler-Bußmeier, Frank Heitmann. Liveness of Safe Object Nets. Fundamenta Informaticae, 112(1):73-87, 2011. [doi]

Abstract

Abstract is missing.