Index of /~yuxi/papers

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