This is a tentative metamodel of the Pi-Calculus

　

Hit Counter