Slide 1PHMSA Perspectives Construction Process & Standards API – AGA Joint Committee Oil & Gas Pipeline Welding Practices New Orleans, LA Steve Nanney January 27,…
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…