|
Project Information
|
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 |
|
Project Information
|
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 |