Process Algebra (2IF45) Probabilistic Branching Bisimulation: Exercises Dr. Suzana Andova.
Process Algebra (2IF45) Introduction From Labeled Transition Systems back to Equational Theory Dr. Suzana Andova.
Process Algebra (2IF45) Probabilistic Branching Bisimulation: Exercises