Index of /~rvg/pub

	Name	Last modified	Size	Description
	Parent Directory		-
	STbisimulation.pdf	27-May-2004 11:54	1.2M
	abstracts/	26-Aug-2004 01:32	-
	acp.dvi.gz	31-Aug-1994 00:42	57K
	acp.pdf.gz	11-Mar-2004 11:49	192K
	acp.ps.gz	15-Apr-1995 12:01	100K
	acp.tex.gz	01-Sep-1994 01:03	33K
	atch.dvi.gz	09-Apr-1992 14:36	26K
	atch.pdf.gz	11-Mar-2004 11:55	109K
	atch.ps.gz	15-Apr-1995 12:02	61K
	atch.tex.gz	09-Apr-1992 14:36	17K
	axiomst.dvi.gz	01-Jul-1994 21:54	37K
	axiomst.pdf.gz	11-Mar-2004 12:03	145K
	axiomst.ps.gz	15-Apr-1995 12:02	81K
	axiomst.tex.gz	01-Jul-1994 21:54	22K
	bisimulation.dvi.gz	01-Aug-2000 16:55	9.3K
	bisimulation.pdf.gz	11-Mar-2004 12:07	59K
	bisimulation.ps.gz	01-Aug-2000 16:55	51K
	bisimulation.tex.gz	01-Aug-2000 16:55	6.5K
	bisimulation.tex.pic.gz	01-Aug-2000 16:53	6.1K
	branching.dvi.gz	03-Aug-1993 08:26	18K
	branching.pdf.gz	11-Mar-2004 12:24	79K
	branching.ps.gz	15-Apr-1995 12:03	45K
	branching.tex.gz	03-Aug-1993 08:25	12K
	bundle.dvi.gz	11-Jun-2003 00:35	28K
	bundle.pdf.gz	11-Jun-2003 00:35	96K
	bundle.ps.gz	11-Jun-2003 00:35	60K
	bundle.tar.gz	10-Jun-2003 23:45	214K
	bundle.tex.gz	11-Jun-2003 00:34	19K
	complete.dvi.gz	14-Apr-1993 10:53	31K
	complete.pdf.gz	11-Mar-2004 12:25	118K
	complete.ps.gz	15-Apr-1995 12:05	67K
	complete.tex.gz	14-Apr-1993 10:53	18K
	concur99.dvi.gz	08-Jun-1999 01:27	15K
	concur99.pdf.gz	11-Mar-2004 12:27	77K
	concur99.ps.gz	08-Jun-1999 01:28	59K
	concur99.tex.gz	08-Jun-1999 01:27	14K
	conf.dvi.gz	18-May-1995 14:55	41K
	conf.pdf.gz	11-Mar-2004 12:28	144K
	conf.ps.gz	18-May-1995 14:57	78K
	conf.tex.gz	18-May-1995 16:21	27K
	cool-ea.dvi.gz	24-May-2005 07:34	30K
	cool-ea.pdf	24-May-2005 07:34	182K
	cool-ea.ps.gz	24-May-2005 07:34	188K
	cool-ea.tex.gz	24-May-2005 07:29	18K
	delta.dvi.gz	03-Mar-2002 19:19	25K
	delta.pdf.gz	11-Mar-2004 12:32	127K
	delta.ps.gz	03-Mar-2002 19:19	92K
	delta.tex.gz	03-Mar-2002 19:19	16K
	divide.dvi.gz	23-Apr-2006 18:37	41K
	divide.pdf	23-Apr-2006 18:37	233K
	divide.ps.gz	23-Apr-2006 18:37	219K
	divide.tex.gz	23-Apr-2006 18:37	21K
	eta.dvi.gz	27-Oct-2005 01:17	33K
	eta.pdf	27-Oct-2005 01:29	231K
	eta.ps.gz	27-Oct-2005 01:29	203K
	eta.tex.gz	27-Oct-2005 01:16	15K
	express-ea.dvi.gz	08-Apr-2005 05:29	62K
	express-ea.pdf	08-Apr-2005 05:29	349K
	express-ea.ps.gz	08-Apr-2005 05:29	253K
	express-ea.tex.gz	08-Apr-2005 05:52	35K
	express-org.dvi.gz	24-Jul-2005 21:07	82K
	express-org.pdf	24-Jul-2005 21:07	430K
	express-org.ps.gz	24-Jul-2005 21:07	297K
	express-org.tex.gz	24-Jul-2005 21:07	45K
	express.dvi.gz	26-Jul-2005 10:00	82K
	express.pdf	26-Jul-2005 10:00	430K
	express.ps.gz	26-Jul-2005 10:00	297K
	express.tex.gz	26-Jul-2005 10:00	45K
	flat.A4.ps.gz	02-Apr-1997 23:55	119K
	flat.dvi.gz	02-Apr-1997 23:55	31K
	flat.pdf.gz	11-Mar-2004 12:34	165K
	flat.ps.gz	02-Apr-1997 23:55	119K
	flat.tex.gz	02-Apr-1997 23:55	19K
	fmco05.dvi.gz	02-Nov-2005 22:57	40K
	fmco05.pdf	02-Nov-2005 23:01	232K
	fmco05.ps.gz	02-Nov-2005 23:00	221K
	fmco05.tex.gz	02-Nov-2005 22:56	21K
	glabbeek.bib	15-Sep-1997 00:27	25K
	good.pdf	19-Apr-2004 05:51	265K
	hda	16-Sep-1995 16:26	5.9K
	history.draft.dvi	20-Jun-1996 17:49	182K
	history.firstdraft.dvi	26-Jul-1995 18:50	54K
	hml.dvi.gz	07-May-2003 07:46	20K
	hml.pdf	07-May-2003 07:47	170K
	hml.ps.gz	07-May-2003 07:47	174K
	hml.tex.gz	07-May-2003 07:46	11K
	hmlsos.dvi.gz	22-Jun-2005 02:31	48K
	hmlsos.pdf	22-Jun-2005 02:32	253K
	hmlsos.ps.gz	22-Jun-2005 02:32	240K
	hmlsos.tex.gz	22-Jun-2005 02:31	25K
	individual.dvi.gz	31-May-2005 07:57	30K
	individual.pdf	31-May-2005 08:18	182K
	individual.ps.gz	31-May-2005 08:18	189K
	individual.tex.gz	31-May-2005 07:57	17K
	jwk.dvi.gz	03-Nov-2005 19:46	26K
	jwk.pdf	03-Nov-2005 19:47	159K
	jwk.ps.gz	03-Nov-2005 19:47	169K
	jwk.tex.gz	03-Nov-2005 19:40	14K
	lics2000.dvi.gz	20-Apr-2000 21:14	35K
	lics2000.pdf.gz	11-Mar-2004 12:35	176K
	lics2000.ps.gz	20-Apr-2000 21:15	110K
	lics2000.tex.gz	20-Apr-2000 21:14	20K
	mall-ea+proofs.pdf	13-Mar-2006 16:28	235K
	mall-ea+proofs.ps.gz	13-Mar-2006 16:28	167K
	mall-ea+proofs.tex.gz	13-Mar-2006 16:12	43K
	mall-ea.ps.gz-	14-Apr-2003 08:39	124K
	mall-monochrome.pdf	02-Feb-2005 22:09	726K
	mall-monochrome.ps.gz	02-Feb-2005 22:18	355K
	mall.pdf	02-Feb-2005 21:31	728K
	mall.ps.gz	02-Feb-2005 21:40	357K
	mallsubmission.ps.gz	22-Jan-2004 04:46	254K
	negative-ea.dvi.gz	15-Aug-1996 16:11	26K
	negative-ea.pdf.gz	11-Mar-2004 12:38	116K
	negative-ea.ps.gz	15-Aug-1996 16:28	62K
	negative-ea.tex.gz	15-Aug-1996 16:09	30K
	negative.dvi.gz	15-Feb-1995 01:14	51K
	negative.pdf.gz	11-Mar-2004 12:38	173K
	negative.ps.gz	15-Apr-1995 12:10	95K
	negative.tex.gz	15-Feb-1995 00:53	30K
	negative2.dvi.gz	30-Jul-2003 07:01	55K
	negative2.pdf	30-Jul-2003 07:01	312K
	negative2.ps.gz	30-Jul-2003 07:01	138K
	negative2.tex.gz	30-Jul-2003 06:54	32K
	nested-elsart.pdf	13-Feb-2004 01:53	264K
	nested-elsart.tex	13-Feb-2004 01:53	105K
	nested.dvi.gz	16-Aug-2003 17:15	53K
	nested.pdf	16-Aug-2003 17:15	266K
	nested.ps.gz	16-Aug-2003 17:15	96K
	nested.tar.gz	16-Aug-2003 17:15	40K
	nets-structures-graphs	07-Jul-1997 23:14	5.1K
	petri.pdf	20-Apr-2004 15:24	1.2M
	prefix-ic.dvi.gz	13-Aug-1996 17:21	48K
	prefix-ic.pdf.gz	11-Mar-2004 12:45	198K
	prefix-ic.ps.gz	13-Aug-1996 18:13	101K
	prefix-ic.tex.gz	13-Aug-1996 17:05	29K
	prefix.dvi.gz	14-Nov-1995 16:08	48K
	prefix.pdf.gz	11-Mar-2004 12:44	221K
	prefix.ps.gz	14-Nov-1995 16:10	144K
	prefix.tex.gz	13-Aug-1996 18:18	32K
	prob.dvi.gz	30-Jul-1994 19:28	68K
	prob.pdf.gz	11-Mar-2004 11:40	258K
	prob.ps.gz	15-Apr-1995 12:11	131K
	prob.tex.gz	30-Jul-1994 19:28	46K
	query.pdf	11-Mar-2004 11:35	160K
	query.ps.gz	30-Mar-2003 18:12	234K
	query.tar.gz	30-Mar-2003 18:12	165K
	refinement.dvi.gz	30-Apr-1998 02:13	175K
	refinement.pdf.gz	11-Mar-2004 12:48	691K
	refinement.ps.gz	30-Apr-1998 02:13	322K
	resolv.dvi.gz	15-Jun-2004 19:29	26K
	resolv.pdf	15-Jun-2004 19:31	165K
	resolv.ps.gz	15-Jun-2004 19:30	184K
	resolv.tex.gz	15-Jun-2004 19:29	19K
	sa.pdf.gz	11-Mar-2004 12:51	115K
	sa.ps.gz	08-Dec-1998 11:51	210K
	sa0.pdf.gz	11-Mar-2004 12:52	112K
	sa0.ps.gz	19-Mar-1998 14:11	176K
	sos.pdf.gz	11-Mar-2004 12:54	68K
	sos.ps.gz	14-Oct-1993 07:59	40K
	spectrum.A4.ps.gz	13-Apr-1993 21:25	158K
	spectrum.pdf.gz	11-Mar-2004 12:54	278K
	spectrum.ps.gz	13-Apr-1993 21:25	158K
	spectrum1.dvi.gz	29-Mar-2000 21:45	197K
	spectrum1.pdf.gz	11-Mar-2004 12:55	672K
	spectrum1.ps.gz	29-Mar-2000 21:46	360K
	spectrum1.tex.pic	29-Mar-2000 21:42	401K
	spectrum1o.ps.gz	27-Mar-2000 19:07	337K
	split.pdf	11-Mar-2004 11:06	562K
	timeouts.dvi.gz	01-Jun-2005 12:41	4.7K
	timeouts.pdf	01-Jun-2005 12:41	57K
	timeouts.ps.gz	01-Jun-2005 12:41	72K
	timeouts.tex.gz	01-Jun-2005 12:41	4.1K
	token.pdf.gz	09-Jul-2002 18:01	346K
	token.ps.gz	16-Apr-2002 12:47	1.1M
	tool.dvi.gz	14-Nov-1995 16:06	15K
	tool.pdf.gz	11-Mar-2004 12:57	83K
	tool.ps.gz	14-Nov-1995 16:01	46K
	tool.tex.gz	14-Nov-1995 16:06	9.5K
	tree-ic.dvi.gz	11-Jun-1996 17:20	30K
	tree-ic.pdf.gz	11-Mar-2004 12:57	140K
	tree-ic.ps.gz	11-Jun-1996 17:28	71K
	tree-ic.tex.gz	11-Jun-1996 17:18	17K
	tree.dvi.gz	02-Feb-1995 19:53	29K
	tree.pdf.gz	11-Mar-2004 12:57	126K
	tree.ps.gz	15-Apr-1995 12:13	68K
	tree.tex.gz	02-Feb-1995 19:53	16K
	winter.dvi.tar.gz	06-Apr-2002 00:05	96K
	winter.pdf.gz	11-Mar-2004 12:58	337K
	winter.ps.gz	05-Apr-2002 23:18	218K
	winter.tex.tar.gz	06-Apr-2002 00:00	49K