the process P behaves as usual for action names not in L, and performs a silent action for action names that appear in L. process identifier write to use the identifier A to refer to the process P. Tools PEPA Plug-in for Eclipse ipc: the imperial PEPA compiler GPAnalyser for fluid analysis of massively parallel systems References External links PEPA: Performance Evaluation Process Algebra Process calculi Theoretical computer science