An operational framework for the multi-lingual system simulation based on /spl pi/-calculus | IEEE Conference Publication | IEEE Xplore