Modeling Fresh Names in the π-calculus Using Abstractions (2004)

by Roberto Bruni , Furio Honsell , Marina Lenisa , Marino Miculan
Citations:1 - 0 self