2 search results for "tag:"keyword: pi-calculus""

Showing 1 - 2
  1. coq-param-pi

    No documentation

    Coding of a typed monadic pi-calculus using parameters for free names
    keyword: Pi-Calculus category: Computer Science/Lambda Calculi date: 1998-09-30
    Loïc Henry-Gréard
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-pi-calc

    No documentation

    Pi-calculus in Coq
    keyword: process algebras keyword: pi-calculus keyword: concurrency keyword: higher-order syntax category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems date: 1998-07
    Ivan Scagnetto <scagnett@dimi.uniud.it>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019