1. 14
    Model Checking: an Introduction to Bisimulation (a tutorial with Haskell examples) compsci haskell hansdieterhiep.nl
    praalhans avatar authored by praalhans 1 year ago | cached | 1 comment

  1.  

  2. 1
    praalhans avatar praalhans 1 year ago | link

    An introduction for a broader audience than the earlier post: https://lobste.rs/s/xrjyzh/on_games_simulations