PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
Browse Files for PiET: Pi Calculus Equivalences Tester
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| gui_sources.zip | 98.5 KB | 2006-09-29 | 80 | Release Notes | |
| kernel_sources.zip | 46.1 KB | 2006-09-29 | 80 | Release Notes | |
| binaries_linux.zip | 280.9 KB | 2006-09-29 | 87 | Release Notes | |
| binaries_ppc.zip | 298.2 KB | 2006-09-29 | 77 | Release Notes | |
| All Files | Subscribe | ||||
| piet | 723.8 KB | 2006-09-29 | 324 | Subscribe Folder view | |
| Piet 1.0 | 723.8 KB | 2006-09-29 | 324 | Subscribe Folder view | |
| gui_sources.zip | 98.5 KB | 2006-09-29 | 80 | Release Notes | |
| kernel_sources.zip | 46.1 KB | 2006-09-29 | 80 | Release Notes | |
| binaries_ppc.zip | 298.2 KB | 2006-09-29 | 77 | Release Notes | |
| binaries_linux.zip | 280.9 KB | 2006-09-29 | 87 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
