Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
02_JAB-MG_Tours.pdf | 2003-02-05 16:07 | 118K | ||
02_JAB-MG_Tours.ps.gz | 2002-04-09 15:01 | 42K | ||
02_JAB_SanDiego.pdf | 2003-02-06 16:46 | 125K | ||
02_JAB_SanDiego.ps.gz | 2001-12-23 17:14 | 25K | ||
02_MG-JAB_Tours.pdf | 2003-02-05 15:57 | 151K | ||
02_MG-JAB_Tours.ps.gz | 2002-05-28 13:46 | 53K | ||
03_Tours_B_G.pdf | 2003-07-23 21:00 | 149K | ||
03_Tours_G_B.pdf | 2003-07-23 20:59 | 179K | ||
03_Traces.pdf | 2003-10-26 14:25 | 246K | ||
03_Traces.ps.gz | 2003-10-26 14:26 | 109K | ||
03_True_Concurrency.pdf | 2003-02-05 15:35 | 290K | ||
03_True_Concurrency.ps.gz | 2002-11-09 16:10 | 87K | ||
03_Ver_Trace.pdf | 2003-08-08 06:53 | 208K | ||
03_Ver_Trace.ps.gz | 2003-08-08 06:25 | 54K | ||
04_CS-2004-30.pdf | 2004-06-10 14:30 | 292K | ||
04_CS-2004-30.ps.gz | 2004-06-10 14:24 | 131K | ||
04_RepSem.pdf | 2004-08-18 15:58 | 156K | ||
04_RepSem.ps.gz | 2004-08-18 15:45 | 65K | ||
05_NDpaper.pdf | 2005-07-14 12:54 | 161K | ||
05_YYpaper.pdf | 2005-06-24 16:59 | 237K | ||
06_AlgorithmB.pdf | 2006-10-19 14:40 | 181K | ||
07_AlgBTalk.pdf | 2007-05-08 14:39 | 173K | ||
07_AsyncPubs.pdf | 2007-06-02 11:18 | 52K | ||
AH-INDEX | 1997-03-14 12:36 | 1.8K | ||
Algebra.ps.gz | 1996-05-23 11:01 | 97K | ||
BenkoThesis.ps.gz | 1994-07-14 10:59 | 257K | ||
DISM.ps.gz | 1998-07-28 15:36 | 102K | ||
DI_Ternary.ps.gz | 1997-04-07 16:31 | 70K | ||
Decomposition.ps.gz | 1997-01-20 14:53 | 95K | ||
Esik_Free_DeMorgan.pdf | 2003-07-04 12:32 | 185K | ||
Esik_Free_DeMorgan.ps.gz | 2001-01-29 12:52 | 65K | ||
HZ_SMJTU.ps.gz | 1998-12-17 22:27 | 64K | ||
HZ_thesis.ps.Z | 1997-09-10 16:21 | 207K | ||
Handshake.ps.gz | 1994-07-14 11:09 | 73K | ||
IB.ASYNC00.pdf | 2000-02-13 15:05 | 121K | ||
IB.ASYNC00.ps.gz | 2000-02-13 14:50 | 66K | ||
IB_Thesis.pdf | 2000-03-10 12:11 | 1.0M | ||
IB_Thesis.ps.gz | 1999-10-18 11:28 | 382K | ||
JAB_Algebras_for_Hazard_Detection.ps.Z | 2001-01-29 13:18 | 70K | ||
JAB_Bisemilattices.ps.Z | 2000-01-14 16:50 | 111K | ||
JAB_Blankets.ps.Z | 1998-07-23 12:00 | 82K | ||
JAB_Blankets.ps.Z.uue | 1998-08-29 13:26 | 113K | ||
JAB_DISM.ps.Z | 1999-01-13 11:42 | 143K | ||
JAB_DITS.ps.Z | 1998-01-30 15:07 | 106K | ||
JAB_DecompPartI.ps.Z | 1998-10-26 13:49 | 134K | ||
JAB_DecompPartII.ps.Z | 1998-10-23 11:36 | 148K | ||
JAB_Decomposition_MVL.pdf | 2003-06-17 10:52 | 353K | ||
JAB_Decomposition_MVL.ps.gz | 2002-02-02 13:10 | 107K | ||
JAB_Demilattices.ps.Z | 1999-10-19 15:07 | 96K | ||
JAB_Erratum.ps.Z | 1999-03-30 14:59 | 33K | ||
JAB_Gheorghiu_Thesis.pdf | 2003-07-04 12:25 | 550K | ||
JAB_Gheorghiu_Thesis.ps.gz | 2001-12-14 11:52 | 210K | ||
JAB_HCAT.ps.Z | 2001-02-15 14:14 | 79K | ||
JAB_HJ_Ver.pdf | 2003-07-04 11:46 | 207K | ||
JAB_HJ_Ver.ps.gz | 2002-10-26 16:33 | 54K | ||
JAB_Hazard_Algebras.pdf | 2003-06-17 10:45 | 356K | ||
JAB_Hazard_Algebras.ps.gz | 2001-12-11 16:35 | 104K | ||
JAB_Involuted.pdf | 2003-06-17 10:37 | 250K | ||
JAB_Involuted.ps.gz | 2002-04-03 14:44 | 65K | ||
JAB_Lou_Thesis.ps.Z | 1998-08-24 12:31 | 198K | ||
JAB_Lou_Thesis.ps.Z.uue | 1998-09-10 10:00 | 273K | ||
JAB_MG.pdf | 2003-07-04 11:59 | 119K | ||
JAB_MG.ps.gz | 2002-05-28 13:44 | 43K | ||
JAB_MVBook.pdf | 2003-07-04 12:19 | 266K | ||
JAB_MVBook.ps.gz | 2002-04-30 10:17 | 66K | ||
JAB_Semilattices.ps.Z | 1999-01-26 12:27 | 169K | ||
JAB_Shestakov.ps.Z | 1998-02-25 13:21 | 82K | ||
JAB_Sidorowicz_Thesis.ps.gz | 2000-02-12 14:57 | 385K | ||
JAB_Silver_Thesis.ps.gz | 1999-07-28 13:32 | 105K | ||
JAB_TestMem.ps.Z | 2002-03-20 14:04 | 169K | ||
JAB_deMorgan.ps.Z | 1999-09-02 13:37 | 37K | ||
JCE_Berks_Thesis.ps.gz | 1998-09-10 14:45 | 422K | ||
MG_JAB.pdf | 2003-07-04 11:52 | 148K | ||
MG_JAB.ps.gz | 2002-04-09 15:04 | 53K | ||
MS_Thesis.ps.gz | 1999-10-19 08:47 | 461K | ||
MShams_Theis.ps.Z | 2000-08-10 14:41 | 698K | ||
Main.pdf | 2003-09-20 17:13 | 247K | ||
Main.ps | 2003-09-21 01:42 | 334K | ||
MayoEssay.ps.gz | 1994-06-06 13:44 | 97K | ||
NingEssay.ps.gz | 1995-11-29 09:30 | 73K | ||
PRS-MTDT99-trns_flts_CAM.ps.gz | 1999-07-11 22:37 | 59K | ||
PRS-cam-verif.ps.gz | 1998-09-03 16:28 | 45K | ||
PRS_ISaF-CAM.ps.gz | 1998-09-03 16:15 | 110K | ||
PRS_ISaF-SRAM.ps.Z | 1999-03-30 15:40 | 119K | ||
RN_thesis.ps.Z | 1998-08-31 10:38 | 1.1M | ||
Radu.ASYNC98.paper.ps.gz | 1998-02-02 08:54 | 176K | ||
Radu.CSD98.paper.ps.gz | 1998-02-02 08:54 | 123K | ||
ShiThesis.ps.gz | 1994-10-05 15:03 | 350K | ||
Sidoro-vts98-cpr.ps.gz | 1998-07-15 12:46 | 55K | ||
Ternary.ps.gz | 1996-08-06 15:58 | 42K | ||
TernaryApp.ps.gz | 1997-05-14 11:04 | 61K | ||
banff93.ps.gz | 1994-09-28 11:26 | 153K | ||
chmod | 2003-06-17 10:46 | 0 | ||
committee.ps.gz | 1994-09-06 10:39 | 72K | ||
lc | 2003-06-17 10:46 | 0 | ||
mclean.ps | 2003-09-28 11:07 | 149K | ||
p-weave.ps.gz | 1997-10-17 15:19 | 50K | ||
response-times-conf.ps.gz | 1997-05-27 15:06 | 55K | ||
response-times-tau-abbrev.ps.gz | 1997-10-15 12:27 | 54K | ||
response-times-tau.ps.gz | 1997-10-15 12:35 | 62K | ||
response-times-tech.ps.gz | 1997-05-20 12:06 | 70K | ||
sjsilver.ps.gz | 1999-04-07 09:19 | 85K | ||
uncompress | 2003-06-17 10:46 | 0 | ||