Region analysis and a pi-calculus with groups (2000)

by S Dal-Zilio, A D Gordon
Venue:Proceedings of MFCS 2000, volume 1893 of LNCS