Process Algebra (2IF45) Some Extensions of Basic Process Algebra Dr. Suzana Andova Process Algebra (2IF45) * Outline of today lecture Complete the proof of the Ground-completeness…
Slide 0 Process Algebra (2IF45) Probabilistic Process Algebra Suzana Andova ‹#› Outline of the lecture Semantics of non-determinism in probabilistic setting Analysing…
Process Algebra (2IF45) Working with Probabilistic systems Dr. Suzana Andova Process Algebra (2IF45) * Probabilistic LTS Process Algebra (2IF45) Basic ingredients of a PLTS:…