Index of /~yuxi/papers

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory   -
[ ]2010.Theory_by_Proce..>07-Sep-2010 11:14 324K
[ ]2010.Theory_by_Proce..>17-Jun-2010 09:12 324K
[ ]APDC-1997.pdf 06-Nov-2006 18:23 262K
[ ]APLAS-2003.pdf 06-Nov-2006 18:23 249K
[ ]ASIAN-1998.pdf 06-Nov-2006 18:23 256K
[ ]CONCUR-1999.pdf 06-Nov-2006 18:23 251K
[ ]CONCUR-2000.pdf 06-Nov-2006 18:23 228K
[ ]FI-1996.pdf 06-Nov-2006 18:23 326K
[ ]FSEN-2011.pdf 17-Feb-2011 12:56 444K
[ ]FSTTCS-2000.pdf 06-Nov-2006 18:23 212K
[ ]ICALP-1997.pdf 06-Nov-2006 18:23 199K
[ ]ISDT-1999.pdf 06-Nov-2006 18:23 286K
[ ]JCST98B.PDF 06-Nov-2006 18:23 238K
[ ]LHO.pdf 06-Nov-2006 18:23 472K
[ ]LICS-2007L.pdf 15-Feb-2007 12:26 201K
[ ]Lambda_in_Pi.pdf 17-Feb-2011 13:15 571K
[ ]MSCS-1997.pdf 06-Nov-2006 18:23 446K
[ ]Pitau.pdf 06-Nov-2006 18:23 398K
[ ]TCS-1999.pdf 06-Nov-2006 18:23 367K
[ ]TCS-2005.pdf 06-Nov-2006 18:23 251K
[ ]TCS-2010.pdf 17-Feb-2010 20:52 863K
[ ]TCS4447.pdf 06-Nov-2006 18:23 416K
[ ]The_Name_Passing_Cal..>16-Jan-2012 10:05 586K
[ ]The_Name_Passing_Cal..>03-Feb-2012 16:53 587K
[ ]The_Value_Passing_Ca..>16-Jan-2012 10:05 520K
[ ]Theory_by_Process.pdf 23-Apr-2010 13:26 333K
[ ]Theory_of_Interactio..>16-Jan-2012 10:05 664K
[ ]Theory_of_Interactio..>30-Jan-2012 22:31 651K
[ ]Universal_Process.pdf 08-Feb-2012 12:15 488K
[DIR]backup/ 14-Nov-2011 10:32 -
[ ]equivalence_checking..>12-Feb-2009 19:54 291K
[ ]fair_ambients.pdf 23-Dec-2007 20:31 886K
[ ]fu.bib 26-Apr-2010 13:21 9.6K
[ ]ic.pdf 06-Nov-2006 18:23 237K
[ ]ieee.pdf 21-Dec-2006 09:26 299K
[ ]index_backup.html 23-Apr-2010 15:18 25K
[ ]npc.pdf 26-Apr-2010 13:27 580K
[ ]schema.pdf 06-Nov-2006 18:23 195K