Report - GRAPH TYPES FOR MONADIC MOBILE PROCESSES · an agent which receives a name and instantiates it in freex’s in P.Inax:P, the name xbinds free occurrences of xin P (like xin x:M).

Please pass captcha verification before submit form