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

*** DO NOT EDIT THIS FILE ***