PiET: Pi Calculus Equivalences Tester 1.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre PiET: Pi Calculus Equivalences Tester

PiET é uma ferramenta de verificação para dez equivalências comportamentais para o Pi Calculus.