TITLE     : Session types for orchestration charts
AUTHOR(S) : Fantechi A., Najm E.
TYPE      : Conference article
YEAR      : 2008
CODE      : 44196

*** DO NOT EDIT THIS FILE ***