PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
Categories
MathematicsLicense
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow PiET: Pi Calculus Equivalences Tester
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of PiET: Pi Calculus Equivalences Tester!