1 search result for "author:"Ivan Scagnetto <scagnett@dimi.uniud.it>""

Showing 1 - 1
  1. 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