TITLE : An expressive logic for basic process algebra AUTHOR(S) : Fantechi A, Gnesi S, Perticaroli V TYPE : Conference article YEAR : 1993 CODE : 412833 *** DO NOT EDIT THIS FILE ***