'Recursive specifications' presentation slideshows

Process Algebra (2IF45) Expressiveness of BPA rec

Process Algebra (2IF45) Expressiveness of BPA rec. Suzana Andova. Outline. How far can we go with recursive specifications in BPA rec (A)? How expressive is BPA rec (A)? If it is not expressive as we want can we do better? How?. Recursive specs vs. Transition systems.

586 views • 45 slides

Process Algebra (2IF45) Assignments

412 views • 27 slides

Process Algebra (2IF45) Abstraction and Recursions in Process Algebra

Process Algebra (2IF45) Abstraction and Recursions in Process Algebra . Suzana Andova. Outline of the lecture. Combining silent steps with recursion Fairness rules Some examples Fairness: is this what it is really about?. Axiomatizing Rooted Branching Bisimulations.

368 views • 22 slides