Index of /~yuxi/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]2010.Theory_by_Process.pdf2014-12-29 22:54 324K 
[   ]2010.Theory_by_Process6-17.pdf2014-12-29 22:54 324K 
[   ]APDC-1997.pdf2014-12-29 22:54 262K 
[   ]APLAS-2003.pdf2014-12-29 22:54 249K 
[   ]ASIAN-1998.pdf2014-12-29 22:54 256K 
[   ]Bisimulation Decomposition for PDA.pdf2017-09-21 17:54 500K 
[   ]Bisimulation Decomposition for PDA Decidability.pdf2017-02-01 09:02 482K 
[   ]CONCUR-1999.pdf2014-12-29 22:54 251K 
[   ]CONCUR-2000.pdf2014-12-29 22:54 228K 
[   ]CONCUR-2017.pdf2017-09-21 17:54 499K 
[   ]Counting nondeterministic computations-TCS.pdf2021-10-09 10:41 569K 
[   ]Decidability of Epsilon Pushing PDA.pdf2018-10-20 22:48 278K 
[   ]Equality_and_Regularity_of_nBPA.pdf2014-12-29 22:54 258K 
[   ]Equality and Regularity of nBPA.pdf2014-12-29 22:54 476K 
[   ]Extensional Petri Net.pdf2018-10-20 22:48 559K 
[   ]FI-1996.pdf2014-12-29 22:54 326K 
[   ]FSEN-2011.pdf2014-12-29 22:54 444K 
[   ]FSTTCS-2000.pdf2014-12-29 22:54 212K 
[   ]ICALP-1997.pdf2014-12-29 22:54 199K 
[   ]ICALP-2013-Final-Version-5-18.pdf2014-12-29 22:54 345K 
[   ]ICALP-2013-Final-Version.pdf2014-12-29 22:54 335K 
[   ]ISDT-1999.pdf2014-12-29 22:54 286K 
[   ]JCST98B.PDF2014-12-29 22:54 238K 
[   ]LHO.pdf2014-12-29 22:54 472K 
[   ]LICS-2007L.pdf2014-12-29 22:54 201K 
[   ]LMCS-2017-my-paper.pdf2017-12-19 11:28 227K 
[   ]Lambda_in_Pi.pdf2014-12-29 22:54 571K 
[   ]MSCS-1997.pdf2014-12-29 22:54 446K 
[   ]Nondeterministic Structure of Computation.pdf2014-12-29 22:54 558K 
[   ]OnProbabilisticProcess.pdf2019-06-23 10:42 692K 
[   ]PDA-ePushing.pdf2015-02-26 13:33 514K 
[   ]PDA-ePushing.pdf.bak2015-02-22 07:10 498K 
[   ]Pitau.pdf2014-12-29 22:54 398K 
[   ]Probabilistic Models-TCS.pdf2021-10-09 10:42 494K 
[   ]TCS-1999.pdf2014-12-29 22:54 367K 
[   ]TCS-2005.pdf2014-12-29 22:54 251K 
[   ]TCS-2010.pdf2014-12-29 22:54 863K 
[   ]TCS4447.pdf2014-12-29 22:54 416K 
[   ]Termination Conditions for Equivalence Checking of PDA.pdf2018-10-20 22:48 362K 
[   ]The Value-Passing Calculus.pdf2014-12-29 22:54 446K 
[   ]Theory-of-Interaction-2015-08-05.pdf2015-08-05 19:11 846K 
[   ]Theory-of-Interaction-2015-08-08.pdf2015-08-08 22:54 844K 
[   ]Theory_by_Process.pdf2014-12-29 22:54 333K 
[   ]Theory of Interaction.pdf2014-12-29 22:54 854K 
[   ]Theory of interaction.pdf2021-10-20 15:53 1.2M 
[   ]Thesis for Interaction.pdf2017-02-17 09:19 241K 
[   ]Universal-Process.pdf2016-06-26 22:53 250K 
[   ]Universal Process.pdf2015-02-23 14:18 203K 
[   ]equivalence_checking.pdf2014-12-29 22:54 291K 
[   ]fair_ambients.pdf2014-12-29 22:54 886K 
[TXT]fu.bib2014-12-29 22:56 9.6K 
[   ]ic.pdf2014-12-29 22:54 237K 
[   ]ieee.pdf2014-12-29 22:54 299K 
[TXT]index_backup.html2014-12-29 22:56 25K 
[   ]npc.pdf2014-12-29 22:54 580K 
[   ]schema.pdf2014-12-29 22:54 195K