Index of /dts/pub

Icon  Name                    Last modified      Size  Description
[DIR] CoFI/ 28-Sep-2000 12:43 - [   ] SannellaDT-bib.html 27-Sep-2010 08:52 103K [   ] SannellaDT.bib 17-Jan-2012 11:25 95K [   ] SannellaDT.bib-old 04-Nov-2009 16:30 94K [   ] SannellaDT.html 16-Jan-2012 09:23 105K [   ] SannellaDT.html-old 10-Sep-2009 10:17 91K [   ] SannellaDT.html-tail 27-May-2010 09:19 16 [   ] SannellaDT.html-top 27-May-2010 09:30 3.9K [   ] SannellaDT_bib.html 16-Jan-2012 09:23 111K [   ] US-letter 13-May-2004 12:31 2.0K [   ] abstract-eml.pdf 07-Jun-2010 11:58 313K [   ] abstract-eml.ps 09-Apr-2001 02:10 304K [   ] amast2002.dvi 06-Jun-2002 01:02 54K [   ] amast2002.pdf 06-Jun-2002 01:03 161K [   ] amast2002.ps 06-Jun-2002 11:00 327K [   ] apal.pdf 07-Jun-2010 11:48 426K [   ] apal.ps 23-Aug-1996 14:59 439K [   ] arch-test.pdf 23-Jan-2002 01:41 334K [   ] archs-amast.dvi 29-Oct-1998 12:48 72K [   ] archs-amast.pdf 29-Oct-1998 12:50 185K [   ] archs-amast.ps 29-Oct-1998 12:50 150K [   ] archs-report.dvi 27-Apr-1999 17:19 120K [   ] archs-report.pdf 30-Apr-1999 09:55 261K [   ] archs-report.ps 27-Apr-1999 17:20 223K [   ] archs.dvi 19-Sep-2001 09:26 122K [   ] archs.pdf 19-Sep-2001 09:26 277K [   ] archs.ps 19-Sep-2001 09:26 459K [   ] asl.pdf 20-Aug-2008 17:06 1.0M [   ] bcs.pdf 07-Jun-2010 11:55 267K [   ] bcs.ps 09-Apr-2001 02:01 231K [   ] beh-equiv-tcs.dvi 23-Jul-1996 14:44 202K [   ] beh-equiv-tcs.pdf 15-May-1997 14:48 389K [   ] beh-equiv-tcs.ps 23-Jul-1996 14:44 432K [   ] beh-equiv.dvi 18-Jun-2003 13:01 146K [   ] beh-equiv.pdf 15-May-1997 14:51 323K [   ] beh-equiv.ps 18-Jun-2003 13:00 338K [   ] burstall.dvi 30-Sep-2002 13:46 43K [   ] burstall.pdf 30-Sep-2002 13:48 92K [   ] burstall.ps 30-Sep-2002 13:46 171K [   ] caap83.pdf 20-Aug-2008 17:13 942K [   ] cai.dvi 04-Sep-2003 17:05 149K [   ] cai.pdf 04-Sep-2003 17:06 346K [   ] cai.ps 04-Sep-2003 17:05 540K [   ] casl-foundations.ps 27-Nov-2003 10:22 394K [   ] casl-obs.dvi 18-Jun-2007 15:47 238K [   ] casl-obs.pdf 15-Jun-2007 17:36 439K [   ] casl-obs.ps 18-Jun-2007 15:47 747K [   ] casl-refinement.dvi 30-Aug-2004 10:37 93K [   ] casl-refinement.pdf 30-Aug-2004 10:37 285K [   ] casl-refinement.ps 30-Aug-2004 10:40 290K [   ] casl.dvi 27-Aug-2001 12:49 172K [   ] casl.pdf 27-Aug-2001 12:52 316K [   ] casl.ps 27-Aug-2001 12:51 506K [   ] cassis2004.dvi 05-Oct-2004 01:46 127K [   ] cassis2004.pdf 05-Oct-2004 01:46 327K [   ] cassis2004.ps 05-Oct-2004 01:49 283K [   ] clear-semantics.pdf 20-Aug-2008 17:26 1.5M [   ] compass-mailing-list 27-Oct-1995 14:49 508 [   ] compass.tex 11-Oct-1994 09:31 133K [   ] completeness.pdf 07-Jun-2010 11:41 2.9M [   ] computing-surveys-fi..> 28-Apr-2008 09:18 120K [   ] computing-surveys.dvi 18-Jan-1999 14:24 22K [   ] computing-surveys.pdf 29-Jun-2000 12:17 120K [   ] computing-surveys.ps 18-Jan-1999 14:26 62K [   ] concepts.dvi 12-Aug-1996 12:49 180K [   ] concepts.pdf 07-May-1998 14:16 318K [   ] concepts.ps 07-May-1998 14:05 335K [   ] eml-final.dvi 07-Jun-2001 17:20 568K [   ] eml-final.pdf 07-Jun-2001 17:13 680K [   ] eml-final.ps 07-Jun-2001 17:03 1.1M [   ] eml-methodology.pdf 07-Jun-2010 11:56 574K [   ] eml-methodology.ps 23-Aug-1996 14:58 631K [   ] eml-overview.pdf 07-Jun-2010 11:55 287K [   ] eml-overview.ps 23-Aug-1996 14:59 286K [   ] eml-popl.pdf 24-May-2007 14:05 1.0M [   ] eml.dvi 18-Jun-2003 13:02 551K [   ] eml.pdf 07-Jun-2010 11:51 826K [   ] eml.ps 18-Jun-2003 13:02 932K [   ] eml.ps.gz 23-Aug-1994 12:29 278K [   ] gentle-conf.pdf 07-Jun-2010 11:50 316K [   ] gentle-conf.ps 08-Mar-1994 14:17 266K [   ] gentle-tcs.dvi 16-Oct-1995 14:48 159K [   ] gentle-tcs.pdf 15-May-1997 15:05 314K [   ] gentle-tcs.ps 16-Oct-1995 14:51 362K [   ] gentle.dvi 18-Jun-2003 13:05 148K [   ] gentle.pdf 15-May-1997 15:07 294K [   ] gentle.ps 18-Jun-2003 13:04 339K [   ] global-dev.dvi 29-May-2002 11:57 118K [   ] global-dev.pdf 29-May-2002 12:01 261K [   ] global-dev.ps 29-May-2002 11:59 489K [   ] goguen-festschrift.pdf 25-Mar-2006 15:02 194K [   ] goguen-festschrift.ps 25-Mar-2006 15:02 249K [   ] hope.pdf 07-Jun-2002 15:42 699K [   ] icalp82.pdf 20-Aug-2008 17:17 1.0M [   ] impl-conf.pdf 07-Jun-2010 11:22 1.3M [   ] impl.pdf 07-Jun-2010 11:23 418K [   ] impl.ps 18-Jun-2003 13:07 474K [   ] inst-asl-conf.pdf 20-Aug-2008 17:32 1.5M [   ] inst-asl.pdf 20-Aug-2008 17:36 2.8M [   ] interfaces.pdf 04-Nov-2009 16:28 149K [   ] interfaces.ps 23-Aug-1996 14:58 123K [   ] laxlogrel.dvi 13-Apr-2000 13:43 75K [   ] laxlogrel.pdf 13-Apr-2000 13:45 513K [   ] laxlogrel.ps 11-Aug-2000 16:33 175K [   ] lf-conf.pdf 07-Jun-2010 11:39 1.0M [   ] lopstr99.dvi 01-Mar-2000 10:17 37K [   ] lopstr99.pdf 01-Mar-2000 10:18 137K [   ] lopstr99.ps 01-Mar-2000 10:17 149K [   ] mfcs2002.dvi 18-May-2002 16:57 57K [   ] mfcs2002.pdf 18-May-2002 16:59 180K [   ] mfcs2002.ps 18-May-2002 16:56 356K [   ] mfcs2003.dvi 05-Jun-2003 07:00 110K [   ] mfcs2003.pdf 05-Jun-2003 07:01 309K [   ] mfcs2003.ps 05-Jun-2003 07:01 499K [   ] mfcs96.dvi 09-May-1996 17:00 105K [   ] mfcs96.pdf 15-May-1997 15:09 257K [   ] mfcs96.ps 23-Aug-1996 14:58 241K [   ] ml-spec.pdf 07-Jun-2010 11:57 168K [   ] ml-spec.ps 18-Jun-2003 13:08 151K [   ] mod-prolog.tar.gz 17-Jun-1992 10:43 746K [   ] montanari-festschrif..> 25-Apr-2008 08:41 278K [   ] montanari-festschrif..> 25-Apr-2008 08:42 471K [   ] monterey.dvi 08-Sep-2003 13:06 68K [   ] monterey.pdf 08-Sep-2003 13:06 222K [   ] monterey.ps 08-Sep-2003 13:07 378K [   ] mrg-summary.pdf 18-Jun-2007 15:53 121K [   ] mtf.pdf 07-Jun-2010 11:53 228K [   ] mtf.ps 18-Jun-2003 13:09 220K [   ] mxh-lego.tar.gz 05-Aug-1992 09:50 19K [   ] obs-equiv-conf.pdf 20-Aug-2008 17:43 1.1M [   ] obs-equiv.pdf 20-Aug-2008 17:44 1.8M [   ] param.pdf 07-Jun-2010 11:53 434K [   ] param.ps 23-Aug-1996 14:59 452K [   ] param.txt 29-May-2011 15:31 126K [   ] prelim.dvi 15-Mar-1999 00:08 93K [   ] prelim.pdf 17-Mar-1999 12:08 215K [   ] prelim.ps 17-Mar-1999 12:07 197K [   ] prelogrel-long.dvi 15-Aug-2002 13:36 134K [   ] prelogrel-long.pdf 15-Aug-2002 13:44 294K [   ] prelogrel-long.ps 15-Aug-2002 13:41 498K [   ] prelogrel-report.dvi 18-Jun-2003 13:10 76K [   ] prelogrel-report.pdf 23-Apr-1999 12:14 196K [   ] prelogrel-report.ps 23-Apr-1999 12:14 169K [   ] prelogrel.dvi 09-Jul-1999 16:52 69K [   ] prelogrel.pdf 09-Jul-1999 16:53 193K [   ] prelogrel.ps 09-Jul-1999 16:52 155K [   ] problems.pdf 07-Jun-2010 11:59 88K [   ] problems.ps 23-Aug-1996 15:00 82K [   ] psi.dvi 16-Aug-1999 16:59 34K [   ] psi.pdf 16-Aug-1999 17:03 122K [   ] psi.ps 16-Aug-1999 17:03 91K [   ] refinement.dvi 12-Jan-2000 15:27 77K [   ] refinement.pdf 12-Jan-2000 15:29 207K [   ] refinement.ps 12-Jan-2000 15:27 385K [   ] reflections.dvi 13-Jan-1998 16:39 65K [   ] reflections.pdf 13-Jan-1998 16:43 173K [   ] reflections.ps 13-Jan-1998 16:42 153K [   ] spec-formalism.pdf 07-Jun-2010 11:54 268K [   ] spec-formalism.ps 23-Aug-1996 15:00 272K [   ] spec-lang.dvi 25-Feb-1999 14:38 131K [   ] spec-lang.pdf 25-Feb-1999 14:42 283K [   ] spec-lang.ps 25-Feb-1999 14:41 228K [   ] spectral.pdf 16-May-1997 10:23 71K [   ] spectral.ps 18-Jun-2003 13:12 268K [   ] survey.pdf 07-Jun-2010 11:53 244K [   ] survey.ps 18-Jun-2003 13:13 240K [   ] tapsoft97.dvi 20-Jan-1997 13:24 20K [   ] tapsoft97.pdf 15-May-1997 14:35 69K [   ] tapsoft97.ps 20-Jan-1997 13:25 64K [   ] tgc2010.pdf 21-Apr-2010 01:02 255K [   ] thoughts.pdf 07-Jun-2010 12:01 162K [   ] thoughts.ps 18-Jun-2003 13:14 143K [   ] wadt2001.pdf 12-Oct-2001 10:24 175K [   ] wadt2001.ps 12-Oct-2001 10:07 388K