PiET: Pi Calculus Equivalences Tester 1.0

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen

PiET is een verificatietool voor tien gedragsgelijkies voor de Pi Calculus.

versiegeschiedenis

  • Versie Piet%201.0 geplaatst op 2006-09-29
    Verschillende oplossingen en updates
  • Versie Piet 1.0 geplaatst op 2006-09-29

Programmadetails