%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Sat Feb 3 10:45:20 MST 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$N$}{% BrinchHansen:1991:BP% }. \NAMECITE{{}-Body}{% BrinchHansen:1991:BP% }. \NAMECITE{{1971}}{% Freiman:1971:IPP% }. \NAMECITE{{1977}}{% Whiteside:1978:BRR% }. \NAMECITE{{2000}}{% Smith:2001:BSP% }. \NAMECITE{{3003}}{% BrinchHansen:1966:CCS% }. \NAMECITE{{365}}{% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{{4000}}{% BrinchHansen:1966:DCR,% BrinchHansen:1967:LSR,% BrinchHansen:1967:RRT,% BrinchHansen:1969:RCR,% BrinchHansen:1969:RSMa,% BrinchHansen:1969:RSMb,% BrinchHansen:1996:RRT,% BrinchHansen:2001:RSM,% BrinchHansen:2002:RSM% }. \NAMECITE{{5000}}{% Oliphint:2001:OSB% }. \NAMECITE{{6}}{% Stoy:2001:EOS% }. \NAMECITE{{701}}{% Ryckman:2001:ICG% }. \NAMECITE{{8.50}}{% BrinchHansen:1977:BRS% }. \NAMECITE{academic}{% BrinchHansen:1977:BRS% }. \NAMECITE{Access}{% Fraser:2001:FID% }. \NAMECITE{Achievements}{% Piner:2002:CSCf% }. \NAMECITE{{Ada}}{% Brauer:1981:PLA% }. \NAMECITE{Address}{% BrinchHansen:1979:KAC,% BrinchHansen:1996:KAC% }. \NAMECITE{{Akyildiz}}{% Piner:2002:CSCf% }. \NAMECITE{Algorithm}{% BrinchHansen:1995:LDA% }. \NAMECITE{All-Pairs}{% BrinchHansen:1990:APP,% BrinchHansen:1995:APP% }. \NAMECITE{Amendment}{% Berman:1998:ARP% }. \NAMECITE{{Amoeba}}{% Tanenbaum:2001:EAD% }. \NAMECITE{Analysis}{% BrinchHansen:1971:ARR,% BrinchHansen:1989:APM% }. \NAMECITE{Annealing}{% BrinchHansen:1992:SA% }. \NAMECITE{Arbitrary}{% Regener:1984:MID% }. \NAMECITE{Architecture}{% BrinchHansen:1977:ACP,% Piner:2002:CSCf,% Whiteside:1978:BRR% }. \NAMECITE{Architectures}{% BrinchHansen:1978:MACa,% BrinchHansen:1978:MACb% }. \NAMECITE{Arrays}{% BrinchHansen:1999:SA% }. \NAMECITE{{Atlas}}{% Kilburn:2001:AS% }. \NAMECITE{August}{% Bauer:1976:LHI,% Freiman:1971:IPP% }. \NAMECITE{Author}{% Leon:2000:ARP,% BrinchHansen:1979:AC% }. \NAMECITE{Automata}{% BrinchHansen:1992:PCA,% BrinchHansen:1993:PCA,% BrinchHansen:1996:PCA% }. \NAMECITE{Award}{% Piner:2002:CSCf,% Piner:2002:CSCf% }. \NAMECITE{{B}}{% Oliphint:2001:OSB% }. \NAMECITE{Back}{% Brauer:1981:BM% }. \NAMECITE{Balancing}{% BrinchHansen:1990:BPF,% BrinchHansen:1995:BP% }. \NAMECITE{Based}{% Fraser:2001:FID,% Lauesen:2001:LSB% }. \NAMECITE{Batch}{% BrinchHansen:2001:COS% }. \NAMECITE{Better}{% Varma:2002:BSB% }. \NAMECITE{Biographies}{% Lee:2003:BPB% }. \NAMECITE{{BKS}}{% Smith:2001:BSP% }. \NAMECITE{block}{% BrinchHansen:1994:ICS% }. \NAMECITE{block-structured}{% BrinchHansen:1994:ICS% }. \NAMECITE{Body}{% BrinchHansen:1991:BP% }. \NAMECITE{Book}{% BrinchHansen:1977:BRS,% Kruijer:1997:BNS,% VandeVelde:1995:BNR,% Whiteside:1978:BRR% }. \NAMECITE{Books}{% Naur:1975:NBJ% }. \NAMECITE{Bookshelf}{% Varma:2002:BSB% }. \NAMECITE{Brinch}{% Berman:1998:ARP,% Courtois:1972:CCT,% Horspool:2007:OPB,% Kruijer:1997:BNS,% Lee:2003:BPB,% Offner:1998:PBH,% Piner:2002:CSCf,% VandeVelde:1995:BNR,% Whiteside:1978:BRR% }. \NAMECITE{Building}{% Varma:2002:BSB% }. \NAMECITE{Bulletproof}{% Varma:2002:BSB% }. \NAMECITE{C}{% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{Call}{% Shrivastava:2001:DRR% }. \NAMECITE{Calls}{% BrinchHansen:2002:OCP% }. \NAMECITE{Capacity}{% Lynch:2001:DHC% }. \NAMECITE{{Carlo}}{% BrinchHansen:1992:PMC% }. \NAMECITE{Cellular}{% BrinchHansen:1992:PCA,% BrinchHansen:1993:PCA,% BrinchHansen:1996:PCA% }. \NAMECITE{Center}{% Lynch:2001:DHC% }. \NAMECITE{Choice}{% BrinchHansen:1999:MC,% BrinchHansen:1999:SC% }. \NAMECITE{Classes}{% BrinchHansen:1973:SC,% BrinchHansen:1976:SOSc,% BrinchHansen:1996:SC,% BrinchHansen:1996:SOSb,% BrinchHansen:1999:C,% BrinchHansen:2001:SOSb,% BrinchHansen:2002:SC,% BrinchHansen:2002:SOSb% }. \NAMECITE{Classic}{% BrinchHansen:2001:COS% }. \NAMECITE{{COBOL}}{% BrinchHansen:1966:CCS% }. \NAMECITE{Collection}{% Piner:2002:CSCf% }. \NAMECITE{Comments}{% BrinchHansen:1973:RCC,% Courtois:1972:CCT% }. \NAMECITE{Communicating}{% Hoare:2002:CSP% }. \NAMECITE{Comparison}{% BrinchHansen:1972:CTS,% BrinchHansen:1973:RCC,% BrinchHansen:1979:MC,% Courtois:1972:CCT% }. \NAMECITE{Compilation}{% Brauer:1981:PSC% }. \NAMECITE{Compile}{% BrinchHansen:1976:DSC% }. \NAMECITE{Compiler}{% BrinchHansen:1966:CCS% }. \NAMECITE{Compilers}{% BrinchHansen:1985:BHP% }. \NAMECITE{complete}{% BrinchHansen:1969:RSMb% }. \NAMECITE{Computational}{% BrinchHansen:1992:PCA,% BrinchHansen:1993:MPC,% BrinchHansen:1993:PCA,% BrinchHansen:1996:MPC,% BrinchHansen:1996:PCA,% VandeVelde:1995:BNR% }. \NAMECITE{Computer}{% BrinchHansen:1966:DCR,% BrinchHansen:1982:PPC,% Piner:2002:CSCf,% Redell:2001:POS,% Ryckman:2001:ICG,% Stoy:2001:EOS,% BrinchHansen:1967:LSR,% BrinchHansen:1969:RCR,% Piner:2002:CSCf% }. \NAMECITE{Computers}{% BrinchHansen:1985:PHI,% BrinchHansen:1983:UPC% }. \NAMECITE{Computing}{% BrinchHansen:1996:SPL,% BrinchHansen:2002:SPL,% Lynch:2001:DHC,% BrinchHansen:1994:SPL% }. \NAMECITE{Concept}{% BrinchHansen:1978:DPC,% BrinchHansen:1996:DPC,% BrinchHansen:2002:DPC,% Hoare:2002:MOS% }. \NAMECITE{Concepts}{% BrinchHansen:1972:CTS,% BrinchHansen:1973:CPC,% BrinchHansen:1973:RCC,% Courtois:1972:CCT% }. \NAMECITE{Concerns}{% Offner:1998:PBH% }. \NAMECITE{Concurrency}{% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{Concurrent}{% BrinchHansen:1973:CPC,% BrinchHansen:1977:ACP,% BrinchHansen:1977:EMC,% BrinchHansen:1978:DPC,% BrinchHansen:1978:MACa,% BrinchHansen:1979:KAC,% BrinchHansen:1996:DPC,% BrinchHansen:1996:EMC,% BrinchHansen:1996:KAC,% BrinchHansen:2002:DPC,% BrinchHansen:2002:ICP,% BrinchHansen:2002:OCP,% Whiteside:1978:BRR,% BrinchHansen:1978:MACb,% BrinchHansen:1975:PCP,% BrinchHansen:1975:PLCa,% BrinchHansen:1975:PLCb,% BrinchHansen:1975:UTC,% BrinchHansen:1976:SOSa,% BrinchHansen:1993:MCP,% BrinchHansen:1996:MCPa,% BrinchHansen:1996:MCPb,% BrinchHansen:1996:PLC,% BrinchHansen:1996:SOSa,% BrinchHansen:2001:SOSa,% BrinchHansen:2002:PLC,% BrinchHansen:2002:SOSa% }. \NAMECITE{Congress}{% Freiman:1971:IPP% }. \NAMECITE{Conjugate}{% BrinchHansen:1998:CGS% }. \NAMECITE{Connection}{% Piner:2002:CSCf,% Brownbridge:2001:NCU% }. \NAMECITE{Conquer}{% BrinchHansen:1991:PDC% }. \NAMECITE{Considerations}{% BrinchHansen:1966:DCR% }. \NAMECITE{Control}{% BrinchHansen:1967:RRT,% BrinchHansen:1996:RRT,% BrinchHansen:1994:ICS% }. \NAMECITE{Cooperating}{% Dijkstra:2002:CSP% }. \NAMECITE{correction}{% BrinchHansen:1979:AC% }. \NAMECITE{Correspondence}{% BrinchHansen:1999:TCJ% }. \NAMECITE{Course}{% BrinchHansen:1996:OCO,% BrinchHansen:2002:OCO,% BrinchHansen:1972:OCO% }. \NAMECITE{courses}{% BrinchHansen:1983:UPC% }. \NAMECITE{D}{% BrinchHansen:1977:BRS% }. \NAMECITE{Declarations}{% Brauer:1981:DT% }. \NAMECITE{{Defense}}{% Brauer:1981:PLA% }. \NAMECITE{Department}{% Brauer:1981:PLA% }. \NAMECITE{Dependent}{% Brauer:1981:RSI% }. \NAMECITE{Description}{% Lynch:2001:DHC% }. \NAMECITE{Design}{% BrinchHansen:1966:DCR,% BrinchHansen:1974:PMO,% BrinchHansen:1977:DP,% BrinchHansen:1996:DE,% BrinchHansen:1996:DP,% BrinchHansen:2002:DP,% Liskov:2001:DVO,% Shrivastava:2001:DRR,% BrinchHansen:1981:DE% }. \NAMECITE{Designers}{% Varma:2002:BSB% }. \NAMECITE{Digital}{% Piner:2002:CSCf% }. \NAMECITE{Disc}{% Fraser:2001:FID% }. \NAMECITE{Disc-Based}{% Fraser:2001:FID% }. \NAMECITE{Disk}{% BrinchHansen:1976:DSC% }. \NAMECITE{Distributed}{% BrinchHansen:1978:DPC,% BrinchHansen:1987:JPL,% BrinchHansen:1996:DPC,% BrinchHansen:1996:JPL,% BrinchHansen:2001:COS,% BrinchHansen:2002:DPC,% BrinchHansen:2002:JPL,% Swinehart:2001:WSS,% Tanenbaum:2001:EAD% }. \NAMECITE{Divide}{% BrinchHansen:1991:PDC% }. \NAMECITE{Division}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD,% BrinchHansen:1995:LDA,% Regener:1984:MID% }. \NAMECITE{Do}{% BrinchHansen:1991:DHS,% BrinchHansen:1994:DHS% }. \NAMECITE{Document}{% Brauer:1981:PLA% }. \NAMECITE{Dog}{% BrinchHansen:1976:PYD,% BrinchHansen:1996:PYD% }. \NAMECITE{{Edison}}{% BrinchHansen:1981:DE,% BrinchHansen:1981:EML,% BrinchHansen:1981:EP,% BrinchHansen:1996:DE% }. \NAMECITE{edited}{% BrinchHansen:1977:BRS% }. \NAMECITE{Editor}{% BrinchHansen:1998:LE,% BrinchHansen:2000:LEP% }. \NAMECITE{Editorial}{% BrinchHansen:1981:GEG% }. \NAMECITE{Efficient}{% BrinchHansen:1995:EPR,% BrinchHansen:1996:EPR,% BrinchHansen:2002:EPR,% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Rodriguez:1999:PRM% }. \NAMECITE{{Egdon}}{% Burns:2001:ESK% }. \NAMECITE{Elements}{% Brauer:1981:LE% }. \NAMECITE{Emerging}{% Dijkstra:2002:SE% }. \NAMECITE{Engineering}{% Piner:2002:CSCf% }. \NAMECITE{Engineers}{% Piner:2002:CSCf% }. \NAMECITE{Environment}{% Swinehart:2001:WSS% }. \NAMECITE{Equation}{% BrinchHansen:1992:NSL% }. \NAMECITE{Equations}{% BrinchHansen:1992:HRL,% BrinchHansen:1998:CGS% }. \NAMECITE{Essays}{% Berman:1998:ARP,% BrinchHansen:1996:SSE,% BrinchHansen:1997:RSS,% Kruijer:1997:BNS% }. \NAMECITE{Evaluation}{% BrinchHansen:1998:EHP,% BrinchHansen:1998:EMP% }. \NAMECITE{Everyone}{% BrinchHansen:1999:PEJ% }. \NAMECITE{Evolution}{% BrinchHansen:2001:EOS% }. \NAMECITE{Examples}{% Regener:1984:MID% }. \NAMECITE{Exceptions}{% Brauer:1981:E% }. \NAMECITE{Exclusion}{% BrinchHansen:1978:SIM% }. \NAMECITE{Expanded}{% Piner:2002:CSCf% }. \NAMECITE{Experience}{% BrinchHansen:1977:EMC,% BrinchHansen:1996:EMC,% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{Experiences}{% Tanenbaum:2001:EAD% }. \NAMECITE{Experimental}{% Corbato:2001:ETS,% Stoy:2001:EOS% }. \NAMECITE{Expressions}{% Brauer:1981:NE% }. \NAMECITE{F}{% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Piner:2002:CSCf% }. \NAMECITE{Fast}{% Lynch:2001:DHC,% BrinchHansen:1993:FFT% }. \NAMECITE{Faster}{% BrinchHansen:1991:DHS,% BrinchHansen:1994:DHS% }. \NAMECITE{Features}{% Brauer:1981:RSI% }. \NAMECITE{File}{% Daley:2001:GPF,% Fraser:2001:FID,% Swinehart:2001:WSS% }. \NAMECITE{Files}{% BrinchHansen:1999:TF% }. \NAMECITE{Filing}{% Stoy:2001:EOS% }. \NAMECITE{Folding}{% BrinchHansen:1990:BPF% }. \NAMECITE{{Fortran}}{% BrinchHansen:1998:EHP,% Offner:1998:PBH% }. \NAMECITE{Foundations}{% Freiman:1971:IPP% }. \NAMECITE{Fourier}{% BrinchHansen:1993:FFT% }. \NAMECITE{Front}{% Brauer:1981:FM% }. \NAMECITE{Garc{\'\i}a}{% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{General}{% Daley:2001:GPF,% Ryckman:2001:ICG% }. \NAMECITE{General-Purpose}{% Daley:2001:GPF% }. \NAMECITE{Generic}{% Brauer:1981:GPU,% BrinchHansen:1991:GMP% }. \NAMECITE{{Goode}}{% Piner:2002:CSCf% }. \NAMECITE{gradient}{% BrinchHansen:1998:CGS% }. \NAMECITE{Guest}{% BrinchHansen:1981:GEG% }. \NAMECITE{H}{% BrinchHansen:1977:BRS% }. \NAMECITE{Hall}{% Whiteside:1978:BRR% }. \NAMECITE{Handbook}{% BrinchHansen:1985:PHI% }. \NAMECITE{Hansen}{% Berman:1998:ARP,% Whiteside:1978:BRR,% Courtois:1972:CCT,% Horspool:2007:OPB,% Kruijer:1997:BNS,% Lee:2003:BPB,% Offner:1998:PBH,% Piner:2002:CSCf,% VandeVelde:1995:BNR% }. \NAMECITE{held}{% Bauer:1976:LHI% }. \NAMECITE{{Hennessy}}{% Piner:2002:CSCf% }. \NAMECITE{Hierarchical}{% Dijkstra:2002:HOS% }. \NAMECITE{hierarchies}{% Bauer:1976:LHI% }. \NAMECITE{High}{% Lynch:2001:DHC,% BrinchHansen:1998:EHP,% Offner:1998:PBH% }. \NAMECITE{History}{% Bergin:1996:HPL,% BrinchHansen:1996:MCPa,% BrinchHansen:1993:MCP,% BrinchHansen:1996:MCPb% }. \NAMECITE{Honors}{% Piner:2002:CSCf% }. \NAMECITE{{Householder}}{% BrinchHansen:1990:HR,% BrinchHansen:1992:HRL% }. \NAMECITE{Huxtable}{% BrinchHansen:1977:BRS% }. \NAMECITE{Hypercubes}{% BrinchHansen:1991:DHS,% BrinchHansen:1994:DHS% }. \NAMECITE{{Ian}}{% Piner:2002:CSCf% }. \NAMECITE{{IBM}}{% BrinchHansen:1985:PHI,% Ryckman:2001:ICG% }. \NAMECITE{{IEEE}}{% Piner:2002:CSCf% }. \NAMECITE{{IFIP}}{% Freiman:1971:IPP% }. \NAMECITE{{II}}{% Bergin:1996:HPL% }. \NAMECITE{Implementation}{% Brauer:1981:RSI,% BrinchHansen:1978:SIM,% BrinchHansen:1987:JI,% BrinchHansen:1988:MIJ,% BrinchHansen:1989:MIJ,% BrinchHansen:1996:MIJ% }. \NAMECITE{Information}{% Freiman:1971:IPP% }. \NAMECITE{Input}{% Brauer:1981:IO,% Stoy:2001:EOS% }. \NAMECITE{Input-Output}{% Brauer:1981:IO% }. \NAMECITE{Input/Output}{% Stoy:2001:EOS% }. \NAMECITE{Insecure}{% BrinchHansen:1999:TCJ,% BrinchHansen:1999:JIP% }. \NAMECITE{Integer}{% Regener:1984:MID% }. \NAMECITE{Integrity}{% Fraser:2001:FID% }. \NAMECITE{Interface}{% BrinchHansen:1976:SOSb,% Smith:2001:SUI,% BrinchHansen:1998:EMP% }. \NAMECITE{interfaces}{% Bauer:1976:LHI% }. \NAMECITE{Interference}{% BrinchHansen:1994:ICS% }. \NAMECITE{international}{% Bauer:1976:LHI% }. \NAMECITE{Introduction}{% Brauer:1981:I% }. \NAMECITE{Invention}{% BrinchHansen:2002:ICP% }. \NAMECITE{Issues}{% Brauer:1981:PSC% }. \NAMECITE{{Java}}{% BrinchHansen:1999:JIP,% BrinchHansen:1999:PEJ,% BrinchHansen:1999:TCJ% }. \NAMECITE{Job}{% BrinchHansen:1976:SOSb% }. \NAMECITE{Journals}{% Naur:1975:NBJ% }. \NAMECITE{{Joyce}}{% BrinchHansen:1987:JI,% BrinchHansen:1987:JPL,% BrinchHansen:1988:JPM,% BrinchHansen:1988:MIJ,% BrinchHansen:1989:JLR,% BrinchHansen:1989:MIJ,% BrinchHansen:1996:JPL,% BrinchHansen:1996:MIJ,% BrinchHansen:2002:JPL% }. \NAMECITE{July}{% Bauer:1976:LHI% }. \NAMECITE{{KDF9}}{% Burns:2001:ESK% }. \NAMECITE{Keynote}{% BrinchHansen:1979:KAC,% BrinchHansen:1996:KAC% }. \NAMECITE{L}{% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{{Laboratories}}{% Ryckman:2001:ICG% }. \NAMECITE{Language}{% Brauer:1981:PLA,% BrinchHansen:1987:JPL,% BrinchHansen:1989:JLR,% BrinchHansen:1994:PLS,% BrinchHansen:1996:JPL,% BrinchHansen:1996:PLC,% BrinchHansen:1996:SPL,% BrinchHansen:2002:JPL,% BrinchHansen:2002:PLC,% BrinchHansen:2002:SPL,% BrinchHansen:1975:PLCa,% BrinchHansen:1975:PLCb,% BrinchHansen:1981:EML,% BrinchHansen:1994:ICS,% BrinchHansen:1994:SPL,% Bauer:1976:LHI% }. \NAMECITE{languages}{% Bergin:1996:HPL% }. \NAMECITE{{Laplace}}{% BrinchHansen:1992:NSL% }. \NAMECITE{Large}{% Lauesen:2001:LSB% }. \NAMECITE{Leading}{% Piner:2002:CSCf% }. \NAMECITE{Learning}{% Varma:2002:BSB% }. \NAMECITE{Length}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD% }. \NAMECITE{Le{\'o}n}{% BrinchHansen:2000:LEP% }. \NAMECITE{Letter}{% BrinchHansen:1998:LE,% BrinchHansen:2000:LEP% }. \NAMECITE{Lexical}{% Brauer:1981:LE% }. \NAMECITE{libraries}{% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Rodriguez:1999:PRM% }. \NAMECITE{Library}{% Piner:2002:CSCf% }. \NAMECITE{Linear}{% BrinchHansen:1990:LSR,% BrinchHansen:1992:HRL,% Dijkstra:1989:LSR,% BrinchHansen:1998:CGS% }. \NAMECITE{{Linger}}{% BrinchHansen:1995:LDA% }. \NAMECITE{Ljubljana}{% Freiman:1971:IPP% }. \NAMECITE{logical}{% BrinchHansen:1967:LSR% }. \NAMECITE{London}{% BrinchHansen:1977:BRS% }. \NAMECITE{Long}{% BrinchHansen:1995:LDA% }. \NAMECITE{M}{% BrinchHansen:1977:BRS% }. \NAMECITE{Machine}{% Lampson:2001:OOS% }. \NAMECITE{Machines}{% BrinchHansen:1991:DHS,% BrinchHansen:1994:DHS% }. \NAMECITE{Manual}{% Brauer:1981:PLA,% BrinchHansen:1969:RCR% }. \NAMECITE{Marktoberdorf}{% Bauer:1976:LHI% }. \NAMECITE{Matrices}{% BrinchHansen:1999:Ma% }. \NAMECITE{Matter}{% Brauer:1981:BM,% Brauer:1981:FM% }. \NAMECITE{McKeag}{% BrinchHansen:1977:BRS% }. \NAMECITE{Mechanism}{% Shrivastava:2001:DRR% }. \NAMECITE{Mergesort}{% BrinchHansen:1989:APM% }. \NAMECITE{message}{% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Rodriguez:1999:PRM,% BrinchHansen:1998:EMP% }. \NAMECITE{{Message-Passing}}{% BrinchHansen:1998:EMP% }. \NAMECITE{Methodology}{% BrinchHansen:1974:PMO,% BrinchHansen:1993:MPC,% BrinchHansen:1996:MPC,% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Rodriguez:1999:PRM% }. \NAMECITE{Methods}{% BrinchHansen:1999:Mb% }. \NAMECITE{Microcomputer}{% BrinchHansen:1979:MC% }. \NAMECITE{{Mills}}{% BrinchHansen:1995:LDA,% Piner:2002:CSCf% }. \NAMECITE{Minefield}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD% }. \NAMECITE{Model}{% BrinchHansen:1992:PCA,% BrinchHansen:1993:MPC,% BrinchHansen:1993:PCA,% BrinchHansen:1996:MPC,% BrinchHansen:1996:PCA% }. \NAMECITE{Modular}{% BrinchHansen:1977:EMC,% BrinchHansen:1996:EMC% }. \NAMECITE{Monitors}{% BrinchHansen:1976:SOSc,% BrinchHansen:1993:MCP,% BrinchHansen:1996:MCPa,% BrinchHansen:1996:MCPb,% BrinchHansen:1996:RTM,% BrinchHansen:1996:SOSb,% BrinchHansen:2001:SOSb,% BrinchHansen:2002:SOSb,% Hoare:2002:MOS,% BrinchHansen:1978:RTM% }. \NAMECITE{{Monte}}{% BrinchHansen:1992:PMC% }. \NAMECITE{Motors}{% Ryckman:2001:ICG% }. \NAMECITE{Multi}{% Fraser:2001:FID% }. \NAMECITE{Multi-Access}{% Fraser:2001:FID% }. \NAMECITE{Multicomputers}{% BrinchHansen:1993:MPC,% BrinchHansen:1996:MPC% }. \NAMECITE{Multiple}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD,% BrinchHansen:1999:MC% }. \NAMECITE{Multiple-Length}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD% }. \NAMECITE{Multiplication}{% BrinchHansen:1991:GMP% }. \NAMECITE{Multiprecision}{% Regener:1984:MID% }. \NAMECITE{Multiprocessor}{% BrinchHansen:1978:MACa,% BrinchHansen:1978:MACb,% BrinchHansen:1978:NMP,% BrinchHansen:1988:JPM,% BrinchHansen:1988:MIJ,% BrinchHansen:1989:MIJ,% BrinchHansen:1996:MIJ,% BrinchHansen:1996:NMP,% BrinchHansen:1981:EML% }. \NAMECITE{Multiprogramming}{% BrinchHansen:1969:RSMa,% BrinchHansen:1969:RSMb,% BrinchHansen:1970:NMS,% BrinchHansen:1972:SM,% BrinchHansen:1973:TMS,% BrinchHansen:1996:NMS,% BrinchHansen:1996:SM,% BrinchHansen:1996:TMS,% BrinchHansen:2001:RSM,% BrinchHansen:2002:RSM,% BrinchHansen:2002:SM,% Dijkstra:2001:SMS,% Dijkstra:2002:SMS,% BrinchHansen:1971:STS,% BrinchHansen:1972:STS% }. \NAMECITE{Mutual}{% BrinchHansen:1978:SIM% }. \NAMECITE{Named}{% Piner:2002:CSCf% }. \NAMECITE{Names}{% Brauer:1981:NE% }. \NAMECITE{Nature}{% BrinchHansen:1990:NPP,% BrinchHansen:1996:NPP,% BrinchHansen:1989:NPP% }. \NAMECITE{Network}{% BrinchHansen:1996:NMP,% BrinchHansen:1978:NMP% }. \NAMECITE{{Newcastle}}{% Brownbridge:2001:NCU% }. \NAMECITE{News}{% VandeVelde:1995:BNR% }. \NAMECITE{No}{% Varma:2002:BSB,% BrinchHansen:1977:BRS% }. \NAMECITE{Nook}{% Kruijer:1997:BNS% }. \NAMECITE{Nucleus}{% BrinchHansen:1970:NMS,% BrinchHansen:1996:NMS% }. \NAMECITE{Numerical}{% BrinchHansen:1992:NSL% }. \NAMECITE{Obituary}{% Horspool:2007:OPB% }. \NAMECITE{Open}{% Lampson:2001:OOS% }. \NAMECITE{Operating}{% BrinchHansen:1974:PMO,% BrinchHansen:1976:SOSa,% BrinchHansen:1976:SOSb,% BrinchHansen:1976:SOSc,% BrinchHansen:1980:TOS,% BrinchHansen:1996:OCO,% BrinchHansen:1996:SOSa,% BrinchHansen:1996:SOSb,% BrinchHansen:2001:COS,% BrinchHansen:2001:EOS,% BrinchHansen:2001:SOSa,% BrinchHansen:2001:SOSb,% BrinchHansen:2002:OCO,% BrinchHansen:2002:SOSa,% BrinchHansen:2002:SOSb,% Hoare:2002:MOS,% Lampson:2001:OOS,% Lauesen:2001:LSB,% Liskov:2001:DVO,% Oliphint:2001:OSB,% Redell:2001:POS,% Stoy:2001:EOS,% Tanenbaum:2001:EAD,% BrinchHansen:1972:OCO,% BrinchHansen:1977:BRS,% BrinchHansen:1983:UPC% }. \NAMECITE{Ordering}{% Dijkstra:2002:HOS% }. \NAMECITE{Origin}{% BrinchHansen:2002:OCP% }. \NAMECITE{Outline}{% BrinchHansen:1996:OCO,% BrinchHansen:2002:OCO,% BrinchHansen:1972:OCO% }. \NAMECITE{Output}{% Brauer:1981:IO,% Stoy:2001:EOS% }. \NAMECITE{Overview}{% Smith:2001:SUI% }. \NAMECITE{Packages}{% Brauer:1981:P% }. \NAMECITE{pages}{% BrinchHansen:1977:BRS% }. \NAMECITE{Pairs}{% BrinchHansen:1990:APP,% BrinchHansen:1995:APP% }. \NAMECITE{{Paradigms}}{% VandeVelde:1995:BNR% }. \NAMECITE{Parallel}{% Berman:1998:ARP,% BrinchHansen:1989:APM,% BrinchHansen:1990:NPP,% BrinchHansen:1991:PDC,% BrinchHansen:1992:PCA,% BrinchHansen:1992:PMC,% BrinchHansen:1993:PCA,% BrinchHansen:1995:EPR,% BrinchHansen:1996:EPR,% BrinchHansen:1996:NPP,% BrinchHansen:1996:PCA,% BrinchHansen:1996:SPL,% BrinchHansen:1996:SSE,% BrinchHansen:1997:RSS,% BrinchHansen:2002:EPR,% BrinchHansen:2002:SPL,% Hoare:2002:TTP,% Kruijer:1997:BNS,% VandeVelde:1995:BNR,% BrinchHansen:1989:NPP,% BrinchHansen:1994:ICS,% BrinchHansen:1994:SPL% }. \NAMECITE{Parallelism}{% BrinchHansen:1999:TCJ,% Rodriguez:1999:PRM,% BrinchHansen:1999:JIP,% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{{PASCAL}}{% BrinchHansen:1975:PCP,% BrinchHansen:1975:PLCa,% BrinchHansen:1975:PLCb,% BrinchHansen:1975:UTC,% BrinchHansen:1976:SOSa,% BrinchHansen:1985:BHP,% BrinchHansen:1985:PHI,% BrinchHansen:1993:MCP,% BrinchHansen:1996:MCPa,% BrinchHansen:1996:MCPb,% BrinchHansen:1996:PLC,% BrinchHansen:1996:SOSa,% BrinchHansen:2001:SOSa,% BrinchHansen:2002:PLC,% BrinchHansen:2002:SOSa% }. \NAMECITE{passing}{% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Rodriguez:1999:PRM,% BrinchHansen:1998:EMP% }. \NAMECITE{Past}{% Varma:2002:BSB% }. \NAMECITE{People}{% Varma:2002:BSB% }. \NAMECITE{Performance}{% BrinchHansen:1988:JPM,% BrinchHansen:1998:EHP,% Offner:1998:PBH% }. \NAMECITE{Personal}{% BrinchHansen:1982:PPC,% BrinchHansen:1985:PHI,% BrinchHansen:1996:MCPa,% Redell:2001:POS,% BrinchHansen:1983:UPC,% BrinchHansen:1993:MCP,% BrinchHansen:1996:MCPb% }. \NAMECITE{{Philco}}{% Smith:2001:BSP% }. \NAMECITE{{Philco-2000}}{% Smith:2001:BSP% }. \NAMECITE{{Pilot}}{% Redell:2001:POS% }. \NAMECITE{Pioneering}{% Piner:2002:CSCf% }. \NAMECITE{Pipeline}{% BrinchHansen:1990:APP,% BrinchHansen:1990:BPF,% BrinchHansen:1991:BP,% BrinchHansen:1991:GMP,% BrinchHansen:1995:APP,% BrinchHansen:1995:BP% }. \NAMECITE{Practice}{% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Linger:1979:SPT% }. \NAMECITE{Prentice}{% Whiteside:1978:BRR% }. \NAMECITE{Prentice-Hall}{% Whiteside:1978:BRR% }. \NAMECITE{President}{% Piner:2002:CSCf% }. \NAMECITE{press}{% BrinchHansen:1977:BRS% }. \NAMECITE{price}{% BrinchHansen:1977:BRS% }. \NAMECITE{Primality}{% BrinchHansen:1992:PT% }. \NAMECITE{Principles}{% BrinchHansen:1977:DP,% BrinchHansen:1996:DP,% BrinchHansen:1996:OCO,% BrinchHansen:2002:DP,% BrinchHansen:2002:OCO,% BrinchHansen:1972:OCO% }. \NAMECITE{Procedure}{% BrinchHansen:2002:OCP,% Shrivastava:2001:DRR% }. \NAMECITE{Proceedings}{% Freiman:1971:IPP% }. \NAMECITE{Processes}{% BrinchHansen:1976:SOSc,% BrinchHansen:1978:DPC,% BrinchHansen:1996:DPC,% BrinchHansen:1996:SOSb,% BrinchHansen:2001:SOSb,% BrinchHansen:2002:DPC,% BrinchHansen:2002:SOSb,% Dijkstra:2002:CSP,% Dijkstra:2002:HOS,% Hoare:2002:CSP% }. \NAMECITE{Processing}{% BrinchHansen:2001:COS,% Freiman:1971:IPP% }. \NAMECITE{Program}{% Brauer:1981:GPU,% Brauer:1981:PSC,% BrinchHansen:1976:SOSa,% BrinchHansen:1978:NMP,% BrinchHansen:1992:PCA,% BrinchHansen:1993:PCA,% BrinchHansen:1996:NMP,% BrinchHansen:1996:PCA,% BrinchHansen:1996:SOSa,% BrinchHansen:2001:SOSa,% BrinchHansen:2002:SOSa% }. \NAMECITE{Programmer}{% BrinchHansen:1976:PYD,% BrinchHansen:1996:PYD,% BrinchHansen:2004:PS% }. \NAMECITE{Programming}{% Brauer:1981:PLA,% BrinchHansen:1973:CPC,% BrinchHansen:1974:PMO,% BrinchHansen:1977:EMC,% BrinchHansen:1978:DPC,% BrinchHansen:1979:KAC,% BrinchHansen:1982:PPC,% BrinchHansen:1987:JPL,% BrinchHansen:1990:NPP,% BrinchHansen:1993:MPC,% BrinchHansen:1994:PLS,% BrinchHansen:1996:DPC,% BrinchHansen:1996:EMC,% BrinchHansen:1996:JPL,% BrinchHansen:1996:KAC,% BrinchHansen:1996:MPC,% BrinchHansen:1996:NPP,% BrinchHansen:1996:PLC,% BrinchHansen:1996:SSE,% BrinchHansen:1997:RSS,% BrinchHansen:1999:PEJ,% BrinchHansen:2002:DPC,% BrinchHansen:2002:ICP,% BrinchHansen:2002:JPL,% BrinchHansen:2002:OCP,% BrinchHansen:2002:PLC,% Hoare:2002:TTP,% Kruijer:1997:BNS,% Linger:1979:SPT,% VandeVelde:1995:BNR,% Bergin:1996:HPL,% BrinchHansen:1975:PLCa,% BrinchHansen:1975:PLCb,% BrinchHansen:1989:NPP,% Berman:1998:ARP% }. \NAMECITE{Programs}{% BrinchHansen:1977:ACP,% BrinchHansen:1978:MACa,% BrinchHansen:1981:EP,% BrinchHansen:1993:MPC,% BrinchHansen:1996:MPC,% BrinchHansen:1999:SP,% BrinchHansen:1978:MACb,% Whiteside:1978:BRR% }. \NAMECITE{Proposed}{% Brauer:1981:PLA% }. \NAMECITE{Publication}{% BrinchHansen:1996:SPL,% BrinchHansen:2002:SPL,% BrinchHansen:1994:SPL% }. \NAMECITE{{Pulawy}}{% BrinchHansen:1967:RRT,% BrinchHansen:1996:RRT% }. \NAMECITE{Purpose}{% Daley:2001:GPF,% BrinchHansen:1975:PCP% }. \NAMECITE{R}{% BrinchHansen:1977:BRS% }. \NAMECITE{Radix}{% Regener:1984:MID% }. \NAMECITE{Ratio}{% BrinchHansen:1971:ARR% }. \NAMECITE{{RC}}{% BrinchHansen:1966:DCR,% BrinchHansen:1967:LSR,% BrinchHansen:1967:RRT,% BrinchHansen:1969:RCR,% BrinchHansen:1969:RSMa,% BrinchHansen:1969:RSMb,% BrinchHansen:1996:RRT,% BrinchHansen:2001:RSM,% BrinchHansen:2002:RSM% }. \NAMECITE{{RC-4000}}{% BrinchHansen:1969:RCR% }. \NAMECITE{Real}{% BrinchHansen:1967:RRT,% BrinchHansen:1996:RRT% }. \NAMECITE{Real-Time}{% BrinchHansen:1967:RRT,% BrinchHansen:1996:RRT% }. \NAMECITE{Receives}{% Piner:2002:CSCf% }. \NAMECITE{Recognized}{% Piner:2002:CSCf% }. \NAMECITE{Recognizes}{% Piner:2002:CSCf% }. \NAMECITE{Recursion}{% BrinchHansen:1995:EPR,% BrinchHansen:1996:EPR,% BrinchHansen:1999:R,% BrinchHansen:2002:EPR,% BrinchHansen:2000:LEP,% Leon:2000:ARP,% Rodriguez:1999:PRM% }. \NAMECITE{Rediscovered}{% BrinchHansen:1990:LSR% }. \NAMECITE{Reduction}{% BrinchHansen:1992:HRL,% BrinchHansen:1990:HR% }. \NAMECITE{Reference}{% Brauer:1981:PLA,% BrinchHansen:1969:RCR% }. \NAMECITE{Reliable}{% Shrivastava:2001:DRR% }. \NAMECITE{Remote}{% BrinchHansen:2002:OCP,% Shrivastava:2001:DRR% }. \NAMECITE{Repetition}{% BrinchHansen:1999:SR,% BrinchHansen:1999:UR% }. \NAMECITE{Reply}{% BrinchHansen:1973:RCC% }. \NAMECITE{Report}{% BrinchHansen:1989:JLR% }. \NAMECITE{Representation}{% Brauer:1981:RSI% }. \NAMECITE{Reproducible}{% BrinchHansen:1978:RTM,% BrinchHansen:1996:RTM% }. \NAMECITE{Research}{% Ryckman:2001:ICG% }. \NAMECITE{Response}{% BrinchHansen:1971:ARR,% Leon:2000:ARP% }. \NAMECITE{Review}{% Berman:1998:ARP,% BrinchHansen:1977:BRS,% BrinchHansen:1997:RSS,% Whiteside:1978:BRR% }. \NAMECITE{Reviews}{% VandeVelde:1995:BNR,% Whiteside:1978:BRR% }. \NAMECITE{Revisited}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD,% Dijkstra:1989:LSR% }. \NAMECITE{Rodr{\'\i}guez}{% BrinchHansen:2000:LEP% }. \NAMECITE{Rules}{% Brauer:1981:VR% }. \NAMECITE{Sande}{% BrinchHansen:2000:LEP,% Leon:2000:ARP% }. \NAMECITE{Scheduling}{% BrinchHansen:1971:ARR,% BrinchHansen:1976:DSC,% BrinchHansen:1971:STS,% BrinchHansen:1972:STS% }. \NAMECITE{school}{% Bauer:1976:LHI% }. \NAMECITE{Science}{% BrinchHansen:1992:PCA,% BrinchHansen:1993:MPC,% BrinchHansen:1993:PCA,% BrinchHansen:1996:MPC,% BrinchHansen:1996:PCA,% VandeVelde:1995:BNR% }. \NAMECITE{Scientific}{% BrinchHansen:1996:SPL,% BrinchHansen:2002:SPL,% BrinchHansen:1994:SPL% }. \NAMECITE{Search}{% Berman:1998:ARP,% BrinchHansen:1990:LSR,% BrinchHansen:1996:SSE,% BrinchHansen:1997:RSS,% Dijkstra:1989:LSR,% Kruijer:1997:BNS% }. \NAMECITE{Secondary}{% Daley:2001:GPF% }. \NAMECITE{Semaphore}{% Lauesen:2001:LSB% }. \NAMECITE{Semaphores}{% BrinchHansen:2002:OCP% }. \NAMECITE{Sequential}{% Dijkstra:2002:CSP,% Dijkstra:2002:HOS,% Hoare:2002:CSP% }. \NAMECITE{Shared}{% BrinchHansen:1973:SC,% BrinchHansen:1996:SC,% BrinchHansen:2002:SC,% Swinehart:2001:WSS% }. \NAMECITE{Sharing}{% Corbato:2001:ETS,% Ritchie:2001:UTS% }. \NAMECITE{Short}{% BrinchHansen:1971:STS,% BrinchHansen:1972:STS% }. \NAMECITE{Short-term}{% BrinchHansen:1971:STS,% BrinchHansen:1972:STS% }. \NAMECITE{{Siemens}}{% BrinchHansen:1966:CCS% }. \NAMECITE{Simple}{% BrinchHansen:1999:SA,% BrinchHansen:1999:SC,% BrinchHansen:1999:SP,% BrinchHansen:1999:SR,% Swinehart:2001:WSS% }. \NAMECITE{Simplicity}{% Berman:1998:ARP,% BrinchHansen:1996:SSE,% BrinchHansen:1997:RSS,% Kruijer:1997:BNS% }. \NAMECITE{Simulated}{% BrinchHansen:1992:SA% }. \NAMECITE{Single}{% Lampson:2001:OOS% }. \NAMECITE{Single-User}{% Lampson:2001:OOS% }. \NAMECITE{Small}{% Stoy:2001:EOS% }. \NAMECITE{{Society}}{% Piner:2002:CSCf% }. \NAMECITE{Software}{% BrinchHansen:1969:RSMa,% BrinchHansen:1969:RSMb,% BrinchHansen:1995:SSa,% BrinchHansen:1995:SSb,% BrinchHansen:2001:RSM,% BrinchHansen:2002:RSM,% Piner:2002:CSCf,% Varma:2002:BSB% }. \NAMECITE{{Solo}}{% BrinchHansen:1976:SOSa,% BrinchHansen:1976:SOSb,% BrinchHansen:1976:SOSc,% BrinchHansen:1996:SOSa,% BrinchHansen:1996:SOSb,% BrinchHansen:2001:SOSa,% BrinchHansen:2001:SOSb,% BrinchHansen:2002:SOSa,% BrinchHansen:2002:SOSb% }. \NAMECITE{Solution}{% BrinchHansen:1992:NSL,% BrinchHansen:1998:CGS% }. \NAMECITE{Sort}{% BrinchHansen:1991:DHS,% BrinchHansen:1994:DHS% }. \NAMECITE{Specification}{% BrinchHansen:1978:SIM% }. \NAMECITE{Specifications}{% Brauer:1981:RSI% }. \NAMECITE{Standard}{% Brauer:1981:PLA% }. \NAMECITE{{Stanford}}{% Piner:2002:CSCf% }. \NAMECITE{{Star}}{% Smith:2001:SUI% }. \NAMECITE{Statements}{% Brauer:1981:Sa% }. \NAMECITE{States}{% Brauer:1981:PLA% }. \NAMECITE{Storage}{% Daley:2001:GPF% }. \NAMECITE{Story}{% BrinchHansen:2004:PS% }. \NAMECITE{Strategies}{% Varma:2002:BSB% }. \NAMECITE{Structure}{% Brauer:1981:PSC,% Dijkstra:2001:SMS,% Dijkstra:2002:SMS,% BrinchHansen:1967:LSR% }. \NAMECITE{Structured}{% BrinchHansen:1972:SM,% BrinchHansen:1996:SM,% BrinchHansen:2002:SM,% Linger:1979:SPT,% BrinchHansen:1994:ICS% }. \NAMECITE{Structuring}{% Hoare:2002:MOS% }. \NAMECITE{{Studies}}{% VandeVelde:1995:BNR,% BrinchHansen:1977:BRS% }. \NAMECITE{Subprograms}{% Brauer:1981:Sb% }. \NAMECITE{summer}{% Bauer:1976:LHI% }. \NAMECITE{{SuperPascal}}{% BrinchHansen:1994:ICS,% BrinchHansen:1994:PLS,% BrinchHansen:1994:SPL,% BrinchHansen:1995:SSa,% BrinchHansen:1995:SSb,% BrinchHansen:1996:SPL,% BrinchHansen:2002:SPL% }. \NAMECITE{Supervisor}{% Kilburn:2001:AS% }. \NAMECITE{Synchronizing}{% BrinchHansen:1972:CTS,% BrinchHansen:1973:RCC,% Courtois:1972:CCT% }. \NAMECITE{Synthesis}{% Dijkstra:2002:SE% }. \NAMECITE{System}{% BrinchHansen:1967:RRT,% BrinchHansen:1969:RSMa,% BrinchHansen:1969:RSMb,% BrinchHansen:1970:NMS,% BrinchHansen:1973:TMS,% BrinchHansen:1974:PMO,% BrinchHansen:1976:SOSa,% BrinchHansen:1976:SOSb,% BrinchHansen:1976:SOSc,% BrinchHansen:1980:TOS,% BrinchHansen:1996:NMS,% BrinchHansen:1996:OCO,% BrinchHansen:1996:RRT,% BrinchHansen:1996:SOSa,% BrinchHansen:1996:SOSb,% BrinchHansen:1996:TMS,% BrinchHansen:2001:RSM,% BrinchHansen:2001:SOSa,% BrinchHansen:2001:SOSb,% BrinchHansen:2002:OCO,% BrinchHansen:2002:RSM,% BrinchHansen:2002:SOSa,% BrinchHansen:2002:SOSb,% Burns:2001:ESK,% Corbato:2001:ETS,% Daley:2001:GPF,% Dijkstra:2001:SMS,% Dijkstra:2002:SMS,% Fraser:2001:FID,% Hoare:2002:MOS,% Lampson:2001:OOS,% Lauesen:2001:LSB,% Liskov:2001:DVO,% Oliphint:2001:OSB,% Redell:2001:POS,% Ritchie:2001:UTS,% Smith:2001:BSP,% Stoy:2001:EOS,% Swinehart:2001:WSS,% Tanenbaum:2001:EAD,% Varma:2002:BSB,% BrinchHansen:1972:OCO,% BrinchHansen:1983:UPC% }. \NAMECITE{Systems}{% BrinchHansen:1987:JPL,% BrinchHansen:1996:JPL,% BrinchHansen:2001:COS,% BrinchHansen:2001:EOS,% BrinchHansen:2002:JPL,% Freiman:1971:IPP,% BrinchHansen:1971:STS,% BrinchHansen:1972:STS,% BrinchHansen:1977:BRS% }. \NAMECITE{Tasks}{% Brauer:1981:T% }. \NAMECITE{Technical}{% BrinchHansen:1999:TCJ% }. \NAMECITE{term}{% BrinchHansen:1971:STS,% BrinchHansen:1972:STS% }. \NAMECITE{Testing}{% BrinchHansen:1973:TMS,% BrinchHansen:1992:PT,% BrinchHansen:1996:RTM,% BrinchHansen:1996:TMS,% BrinchHansen:1978:RTM% }. \NAMECITE{Text}{% BrinchHansen:1999:TF% }. \NAMECITE{Theory}{% Hoare:2002:TTP,% Linger:1979:SPT% }. \NAMECITE{Time}{% BrinchHansen:1967:RRT,% BrinchHansen:1976:DSC,% Corbato:2001:ETS,% Ritchie:2001:UTS,% BrinchHansen:1996:RRT% }. \NAMECITE{Time-Sharing}{% Corbato:2001:ETS,% Ritchie:2001:UTS% }. \NAMECITE{Tour}{% BrinchHansen:1992:MLD,% BrinchHansen:1994:MLD% }. \NAMECITE{{Transform}}{% BrinchHansen:1993:FFT% }. \NAMECITE{Treasure}{% Varma:2002:BSB% }. \NAMECITE{Tree}{% BrinchHansen:1991:DHS,% BrinchHansen:1994:DHS% }. \NAMECITE{Trials}{% BrinchHansen:1992:PMC% }. \NAMECITE{{Trio}}{% BrinchHansen:1980:TOS% }. \NAMECITE{Turnaround}{% Lynch:2001:DHC% }. \NAMECITE{Two}{% BrinchHansen:1972:CTS,% BrinchHansen:1973:RCC,% Courtois:1972:CCT% }. \NAMECITE{Types}{% Brauer:1981:DT,% BrinchHansen:1975:UTC% }. \NAMECITE{Unbounded}{% BrinchHansen:1999:UR% }. \NAMECITE{Unite}{% Brownbridge:2001:NCU% }. \NAMECITE{United}{% Brauer:1981:PLA% }. \NAMECITE{Units}{% Brauer:1981:GPU% }. \NAMECITE{Universal}{% BrinchHansen:1975:UTC% }. \NAMECITE{University}{% Lynch:2001:DHC% }. \NAMECITE{{Unix}}{% Ritchie:2001:UTS% }. \NAMECITE{{Unixes}}{% Brownbridge:2001:NCU% }. \NAMECITE{User}{% Lampson:2001:OOS,% Smith:2001:SUI% }. \NAMECITE{Using}{% BrinchHansen:1983:UPC,% Regener:1984:MID% }. \NAMECITE{{Venus}}{% Liskov:2001:DVO% }. \NAMECITE{Vest}{% Varma:2002:BSB% }. \NAMECITE{Visibility}{% Brauer:1981:VR% }. \NAMECITE{Volume}{% Freiman:1971:IPP% }. \NAMECITE{{WFS}}{% Swinehart:2001:WSS% }. \NAMECITE{Wilson}{% BrinchHansen:1977:BRS% }. \NAMECITE{Winner}{% Piner:2002:CSCf% }. \NAMECITE{{Witt}}{% BrinchHansen:1995:LDA% }. \NAMECITE{Works}{% Piner:2002:CSCf% }. \NAMECITE{World}{% Brownbridge:2001:NCU% }. \NAMECITE{Young}{% BrinchHansen:1976:PYD,% BrinchHansen:1996:PYD% }. \NAMECITE{Yugoslavia}{% Freiman:1971:IPP% }.