Bibliography

Liveness and Reachability for Elementary Object Systems

Michael Köhler-Bußmeier and Frank Heitmann.
Liveness and reachability for elementary object systems.
In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the Internationa Workshop on Concurrency, Specification, and Programming (CS&P 2011). Biaystok University of Technology, 2011.

BibTeX

@InProceedings{Koehler+11a,
  author =   {K{\"o}hler-Bu{\ss}meier, Michael and Heitmann, Frank},
  title =   {Liveness and Reachability for Elementary Object Systems},
  year =         {2011},
  editor =       {Marcin Szczuka and Ludwik Czaja and Andrzej Skowron and Magdalena Kacprzak},
  publisher =    {Bia{\l}ystok University of Technology},
  booktitle =  {Proceedings of the Internationa Workshop
     on Concurrency, Specification, and Programming (CS{\&}P 2011)},
}