Slide 1 Formal Modeling of Concurrent Processes: PI and API Calculi Shahram Rahimi Slide 2 Introduction A formal model based on a process calculus could address several questions…
