Anybody familiar with Piccola and the Pi Calculus. It looks like a formalization of the erlang concepts (apparently without any knowledge of the existence of erlang). http://iamwww.unibe.ch/~scg/Research/Piccola/ jay