REGIS-DARWIN specified in the /spl pi/-calculus | IEEE Conference Publication | IEEE Xplore