PiET: Pi Calculus Equivalences Tester 1.0

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

PiET 是 Pi 微积分十种行为等价物的验证工具。

版本历史记录

  • 版本 Piet%201.0 发布于 2006-09-29
    若干修复和更新
  • 版本 Piet 1.0 发布于 2006-09-29

软件信息