Submit Software
  1. Home
  2. Windows
  3. Other
  4. PiET: Pi Calculus Equivalences Tester

PiET: Pi Calculus Equivalences Tester 1.0

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

VERSION HISTORY

  • Version Piet%201.0 posted on 2006-09-29
    Several fixes and updates
  • Version Piet 1.0 posted on 2006-09-29

Program Details

Related Programs

  • The Figaro Free

    The "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) automatically manages experiments with input generator and algorithm plugins. It already contains some generators and algorithms fo

  • C++ Programming Reference FREE Free Trial

    Complete C++ language programming reference from quick reference cards, to programming language training manualsUse the possibilities the mobile brings you, allowing to study or check anything you want on the go. Don't waste

  • MEP Auswertung Free

    This program has been written having in mind to create an useful tool to evaluate the Motor Evoked Potentials (MEPs) generated by Transcranial Magnetic Stimulation (TMS) and recorded with the program "Signal" (versi

  • gsvit Free

    Fast FDTD solver with graphics card support. Optimized for nanoscale optics - scanning near field optical microscopy, rough surface scattering and solar cells. Uses CUDA environment for graphics card operation.

  • Russian Vocabulary Free

    It's time to play the Russian Vocabulary quiz! Fun, free interactive trivia quizzes from Golden Quartz gives you knowledge on-the-go!Russian (русский язык, russkiy yazyk, pronounced [ˈruskÃ

  • Fiction Press Reader Free

    Want to enjoy FictionPress.com without using up all your data for the month? This is a offline reader for Fiction Press that will allow you to read your stories on the go. It also lets you manage and easily check for updates

  • brickit Free

    A web-based repository of plasmids and biobricks (see http://parts.mit.edu) plus related utility programs that support synthetic biology research.

  • Harrow Free

    A Java library, webservice and webclient for harvesting metadata. It currently supports harvesting from OAI-PMH to Fedora 2, but can easily be extended to support more protocols.

  • MLPA Analyzer Free

    MLPA Analyzer is a workflow and analysis environment for Multiplex Ligation-dependent Probe Amplification

  • Physics Solving Toolkit Free

    Phyz is an educational program which shows various Physics theories/concepts and contains sets of problem-solving programs.The basic philosophy is to explain and provide an easy interface for problem-solving.