1 citations · 1 across the 1 of their papers we have counts for
1 paper
Eva Graversen, Iain Phillips, Nobuko Yoshida
The pi-calculus is a widely used process calculus, which models communications between processes and allows the passing of communication links. Various operational semantics of the…