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
}