![]() | 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 | |