PiET: Pi Calculus Equivalences Tester 1.0

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

VERSION HISTORY

  • Version Piet%201.0 posted on 2006-09-29
    Several fixes and updates
  • Version Piet 1.0 posted on 2006-09-29

Program Details