19 citations · 19 across the 1 of their papers we have counts for
1 paper
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pa…