Model checking for π-calculus using proof search (2005)

by Alwen Tiu
Venue:CONCUR, volume 3653 of LNCS
Citations:15 - 5 self