'Process algebra 2if45' presentation slideshows

Process Algebra (2IF45) Working with Probabilistic systems

Process Algebra (2IF45) Working with Probabilistic systems. Dr. Suzana Andova. Axioms (not seen yet) of TCP(A, ? ). x|| y = x ? y + y ? x + x | y, only if x= x+x and y= y+y x || (y ? ? z) = (x || y) ? ? (x || z) (x ? ? y) || z = (x || z) ? ? (y || z)

223 views • 13 slides

Process Algebra (2IF45) Basic Process Algebra (Soundness proof)

193 views • 8 slides