PiET: Pi Calculus Equivalences Tester 1.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

PiET jest narzędziem weryfikacji dziesięciu równoważności behawioralnych dla rachunku Pi.

historia wersji

  • Wersja Piet%201.0 opublikowany na 2006-09-29
    Kilka poprawek i aktualizacji
  • Wersja Piet 1.0 opublikowany na 2006-09-29

Szczegóły programu