4 search results for "tag:"keyword:simulation""

Showing 1 - 4
  1. coq-ctree

    No documentation

    Library for representing recursive, non-deterministic and impure programs with equational reasoning
    category:CS/Semantics and Compilation/Semantics category:CS/Concurrency/Theory of concurrent systems keyword:simulation keyword:bisimilarity keyword:coinduction up-to keyword:process algebra keyword:cooperative multithreading logpath:CTree
    Nicolas Chappe Paul He Ludovic Henrio Yannick Zakowski Steve Zdancewic
    2.0
    MIT
    Used by 1 other packages
    29 Jul 2025
  2. coq-freesim

    No documentation

    Stuttering For Free
    keyword:simulation keyword:coinduction keyword:dual non-determinism keyword:up to techniques keyword:companion keyword:Interaction Trees keyword:CompCert logpath:FreeSim
    Minki Cho, Youngju Song, Dongjae Lee
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    19 Sep 2023
  3. coq-paco

    No documentation

    Coq library implementing parameterized coinduction
    date:2025-01-30 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed point logpath:Paco
    Chung-Kil Hur <gil.hur@sf.snu.ac.kr> Georg Neis <neis@mpi-sws.org> Derek Dreyer <dreyer@mpi-sws.org> Viktor Vafeiadis <viktor@mpi-sws.org> Minki Cho <minki.cho@sf.snu.ac.kr>
    4.2.3
    BSD-3-Clause
    Used by 4 other packages
    31 Jan 2025
  4. rocq-sims

    No documentation

    A library of various strong and weak simulation relations
    category:Computer Science/Semantics and Compilation/Semantics category:Computer Science/Semantics and Compilation/Compilation keyword:simulation keyword:coinduction up-to logpath:Sims
    Nicolas Chappe
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    27 Nov 2025