PiET: Pi Calculus Equivalences Tester 1.0

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

에 대해 PiET: Pi Calculus Equivalences Tester

PiET는 Pi 미적분학에 대한 10가지 행동 동등성에 대한 검증 도구입니다.