1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…