Bibliography
Liveness of Safe Object Nets
Michael Köhler-Bußmeier and Frank Heitmann.
Liveness of safe object nets.
Fundamenta Informaticae, 112(1):73-87, 2011.
BibTeX
@article{Koehler+11,
author = {K{\"o}hler-Bu{\ss}meier, Michael and Heitmann, Frank},
title = {Liveness of Safe Object Nets},
journal = "Fundamenta Informaticae",
volume = {112},
number = {1},
pages = {73-87},
year = 2011
}
