共 53 条
[1]
Acciai L, 2008, LECT NOTES COMPUT SC, V5065, P642, DOI 10.1007/978-3-540-68679-8_40
[2]
AHERN A, 2005, OOPSLA 05, P403
[3]
Bettini L, 2008, LECT NOTES COMPUT SC, V5065, P659, DOI 10.1007/978-3-540-68679-8_41
[4]
Bierman G., 2003, 563 U CAMBR COMP LAB
[5]
Bonelli E, 2005, J FUNCT PROGRAM, V15, P219, DOI 10.1017/S09567968O400543X
[6]
BONELLI E, 2005, FGUC 04 ENTCS, V138, P3
[7]
Bravetti M, 2007, LECT NOTES COMPUT SC, V4467, P96
[8]
CAIRES L, 2006, LNCS, V4661, P98
[10]
CARBONE M, 2007, DMC 06 ENTCS, V171, P127