5 search results for "tag:"category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems""

Showing 1 - 5
  1. coq-ccs

    No documentation

    Equivalence notions on labelled transitions systems
    keyword: Labelled Transitions Systems keyword: process algebras keyword: Calculus of Concurrent Process (CCS) category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems
    Solange Coupet-Grimal
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. 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
  3. coq-pautomata

    No documentation

    Parameterized automata
    keyword: p-automata keyword: ABR keyword: PGM keyword: time category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems
    Emmanuel Freund & Christine Paulin
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. 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
  5. coq-weak-up-to

    No documentation

    New Up-to Techniques for Weak Bisimulation
    keyword: weak bisimilarity keyword: weak bisimulation keyword: up-to techniques keyword: termination keyword: commutation keyword: Newman's lemma category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems date: 2005-02-22
    Damien Pous <damien.pous at ens-lyon.fr> [http://perso.ens-lyon.fr/damien.pous/]
    8.10.0
    GPL
    Used by 0 other packages
    07 Dec 2019