yl@cs.ed.ac.uk (Young Lee) (05/14/91)
I am looking for analytic models(analysis) or simulators(simulation programs) for sequent(symmetry or balance) system in any area : a whole system or a file system, a disk subsystem, ....... I am also gathering papers, current researches, course material, books and anything which study or use those things. If anyone has or knows something about those, please inform me. Thanks in advance! ---------------------------------------------------------------------- Young W. LEE at Computer Science Department of Edinburgh University Room 1410, JCMB of Kings Buildings, Mayfield Road, EDINBURGH, EH9 3JZ E-mail : Yl@lfcs.ed.ac.uk Tel : (+44) 31-650-1000 Ext : 5165 Fax : (+44) 31-667-7209 ----------------------------------------------------------------------