The top documents tagged [process algebra 2if45extending]

Process Algebra (2IF45) Working with Probabilistic systems

---

31 views

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

---

38 views

Process Algebra (2IF45) Extending the Basic Process Algebra

---

56 views