Documents Process Algebra (2IF45) Probabilistic extension: semantics Parallel composition

Process Algebra (2IF45) Probabilistic extension: semantics Parallel composition Dr. Suzana Andova Process Algebra (2IF45) * Probabilistic LTS Process Algebra (2IF45) Basic…

Documents Process Algebra (2IF45) Extending the Basic Process Algebra

Process Algebra (2IF45) Extending the Basic Process Algebra Dr. Suzana Andova Process Algebra (2IF45) * Process Algebra (2IF45) Guarded recursive specification What do we…

Documents Process Algebra (2IF45) Working with Probabilistic systems

Process Algebra (2IF45) Working with Probabilistic systems Dr. Suzana Andova Process Algebra (2IF45) * Probabilistic LTS Process Algebra (2IF45) Basic ingredients of a PLTS:…