TITLE     : Distributed implementation of nested communicating sequential processes and termination
AUTHOR(S) : Baiardi F, Fantechi A, Tomasi A, Vanneschi M
TYPE      : Conference article
YEAR      : 1984
CODE      : 420587

*** DO NOT EDIT THIS FILE ***