PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
Release Date:
2006-09-29
Topics:
License:
Ratings and Reviews
Be the first to post a text review of PiET: Pi Calculus Equivalences Tester. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Piet 1.0 Released !!
29/09/20006 First release of PiET
-
piet Piet 1.0 file released: kernel_sources.zip
-
piet Piet 1.0 file released: gui_sources.zip
-
piet Piet 1.0 file released: binaries_ppc.zip
-
piet Piet 1.0 file released: binaries_linux.zip
-
File released: /piet/Piet 1.0/gui_sources.zip
-
File released: /piet/Piet 1.0/kernel_sources.zip
-
File released: /piet/Piet 1.0/binaries_linux.zip
-
File released: /piet/Piet 1.0/binaries_ppc.zip
-
Code committed
Anonymous committed patchset 1 of module CVSROOT to the PiET: Pi Calculus Equivalences Tester CVS repository, changing 11 files
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
Pi Calculus for SOA
This project will provide tools that leverage Pi Calculus to build more robust Service Oriented Architectures (SOA). The first stage of this project is to provide an implementation of the W3C Web Services Choreography Description Language (WS-CDL).
-
PiET: Pi Calculus Equivalences Tester Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
