My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Project Information
Members

Paratrope extends Milner's π-calculus with nominal reflection and a novel reduction rule that enables hypothetical reduction. For more details see: http://biosimilarity.blogspot.com/2009/04/law-of-attraction.html

Powered by Google Project Hosting