lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

bisimulation-contraction.dot (57B)

      1 digraph g {
      2 ac -> b
      3 b -> ac
      4 ac -> ac
      5 b [xlabel="[p]"]
      6 }
      7