@InProceedings{johnsen08ttss,
  author =    {Einar Broch Johnsen and Jasmin Christian Blanchette and
               Marcel Kyas and Olaf Owe},
  title =     {Intra-Object versus Inter-Object: Concurrency and
               Reasoning in {C}reol},
  booktitle = {Proc.\ 2nd Intl.\ Workshop on Harnessing Theories
               for Tool Support in Software ({TTSS}'08) },
  series =    {Electronic Notes in Theoretical Computer Science},
  volume =    243,
  publisher = {Elsevier},
  pages =     {89--103},
  month =     jul,
  year =      2009,
}