Representing reachable states of a parallel program

LDR 01113 am a2200277Ia 4500
001 008316666
003 MiAaHDL
005 20111212000000.0
006 m d
007 cr bn ---auaua
008 910412s1989 caua tb 000 0 eng d
035 ‡asdr-ucsc.b1205379x
040 ‡aPMC ‡cPMC
049 ‡aCUZC
090 ‡aQA75.5.T43 1989:17
035 ‡a(OCoLC)22614739
100 1 ‡aMcDowell, Charles Edward, ‡d1952-
245 1 0 ‡aRepresenting reachable states of a parallel program / ‡cCharles E. McDowell.
260 ‡aSanta Cruz, Calif. : ‡bUniversity of California, Santa Cruz, Computer Research Laboratory, ‡c1989.
300 ‡a25 p. : ‡bill. ; ‡c28 cm.
490 0 ‡aTechnical report / University of California, Santa Cruz, Computer Research Laboratory ; ‡vUCSC-CRL-89-17
538 ‡aMode of access: Internet.
650 0 ‡aParallel programming (Computer science)
710 2 0 ‡aUniversity of California, Santa Cruz. ‡bComputer Research Laboratory.
CID ‡a008316666
DAT 0 ‡b20111212000000.0
DAT 1 ‡a20120815095258.0 ‡b2024-05-05T17:58:40Z
CAT ‡aSDR-UCSC ‡dIII - MILLENIUM ‡lloader.pl-001-001
FMT ‡aBK
HOL ‡0sdr-ucsc.b1205379x ‡auc1 ‡bSDR ‡cUCSC ‡puc1.32106020211071 ‡sUC ‡1.b1205379x
974 ‡bUC ‡cUCSC ‡d20240505 ‡sgoogle ‡uuc1.32106020211071 ‡y1989 ‡ric ‡qbib ‡tUS bib date1 >= 1929