TITLE     : Result valued processes and their relation with CCS
AUTHOR(S) : Fantechi A
TYPE      : Conference article
YEAR      : 1985
CODE      : 420324

*** DO NOT EDIT THIS FILE ***