1 search result for "tag:"keyword: spi-calculus""

Showing 1 - 1
  1. coq-hedges

    No documentation

    Some properties of hedges used by hedged bisimulation
    keyword: bisimulation keyword: spi-calculus keyword: hedges category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems date: 20 April 2004
    Sébastien Briais
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019