Index of /tds/papers/Segala

	Name	Last modified	Size	Description
	Parent Directory		-
	CONCUR94.html	2010-03-22 15:19	1.1K
	CONCUR94.pdf	2010-03-22 15:18	239K
	CONCUR94.ps	1994-09-29 11:39	225K
	CONCUR95.html	2010-03-18 14:08	1.9K
	CONCUR95.pdf	2010-03-18 14:07	221K
	CONCUR95.ps	1995-05-15 13:30	267K
	Compos97.pdf	2020-04-21 16:21	325K
	FAC.ps	2004-12-15 13:11	387K
	FAC95.pdf	2010-03-17 15:32	335K
	FAC95.ps	2002-12-03 11:03	387K
	GLSS-liveness.ps	2001-02-16 15:50	522K
	GLSS-liveness.ps.gz	2001-02-13 14:13	158K
	NJC-final.dvi	2004-12-15 13:11	102K
	NJC95.dvi	2002-12-03 11:03	102K
	NJC95.pdf	2010-03-18 15:30	304K
	NJC95.ps	2002-12-03 11:13	581K
	PS95.pdf	2010-03-18 14:03	1.0M
	Segala-iandc.pdf	2013-08-08 15:23	409K
	TCS95.pdf	2020-04-22 11:21	1.9M
	concur93.pdf	2010-03-10 15:53	953K
	dc.pdf	2002-10-10 13:44	436K
	masters-thesis.pdf	2010-03-22 15:55	443K
	pctl-eu.pstex	2002-12-03 11:03	9.0K
	phd.tar	2001-03-25 14:48	768K
	phd1.pdf	2011-04-27 11:14	617K
	phd1.ps	1996-02-19 04:33	905K
	phd2.pdf	2011-04-27 11:14	605K
	phd2.ps	1996-02-19 04:33	1.0M
	phd3.pdf	2011-04-27 12:56	539K
	phd3.ps	1996-02-19 04:33	740K
	phdcontents.pdf	2011-04-27 11:15	46K
	phdcontents.ps	1996-02-19 04:33	64K
	prob-sim.pstex	2002-12-03 11:03	6.8K
	segala-phd.log	2011-04-27 11:14	183
	segala-phd.pdf	2011-04-27 11:14	583K
	segala-phd.ps	1996-02-19 04:33	905K
	segala-phd2.ps	1996-02-19 04:33	1.0M
	segala-phd3.ps	1996-02-19 04:33	740K
	segala-phdcontents.pdf	2011-04-27 11:52	46K
	segala-phdcontents.ps	1996-02-19 04:33	64K
	thesis-complete.pdf	2011-04-27 13:00	1.6M
	weak-tr1.pstex	2002-12-03 11:03	6.1K
	weak-tra.pstex	2002-12-03 11:03	6.9K