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