Modeling Fresh Names in the π-calculus Using Abstractions
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino MiculanVolume:
106
Year:
2004
Language:
english
Pages:
17
DOI:
10.1016/j.entcs.2004.02.039
File:
PDF, 347 KB
english, 2004