Bibliography

On Defining Conflict-Freedom for Object Nets

Frank Heitmann and Michael Köhler-Bußmeier.
On defining conflict-freedom for object nets.
In B. Muller and M. Köhler-Bußmeier, editors, Proceedings of the International Workshop on Logic, Agents, and Mobility (LAM 2011), 2011.

BibTeX

@InProceedings{Heitmann+11,
  author = {Heitmann, Frank and K{\"o}hler-Bu{\ss}meier, Michael},
  title =  {On Defining Conflict-Freedom for Object Nets},
  editor = {Muller, B. and K{\"o}hler-Bu{\ss}meier, M.},
  booktitle =  {Proceedings of the International Workshop
     on Logic, Agents, and Mobility (LAM 2011)},
  year =  {2011}
}