TITLE : On rewriting behavioural semantics in process algebras AUTHOR(S) : Inverardi P., Nesi M. TYPE : Conference article YEAR : 1991 CODE : 449236 *** DO NOT EDIT THIS FILE ***