%%====================================================================== %% 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 Fri Nov 17 13:09:36 MST 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$+$}{% Colby:1998:STP% }. \NAMECITE{$L$}{% Jagadeesan:1989:DLP,% Jagadeesan:1990:DLP% }. \NAMECITE{$\lambda$}{% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR% }. \NAMECITE{${\sf RBAC}$}{% Jagadeesan:2006:PRB% }. \NAMECITE{{}-domains}{% Jagadeesan:1989:DLP,% Jagadeesan:1990:DLP% }. \NAMECITE{17th}{% Paterson:1990:ALP% }. \NAMECITE{4th}{% Alagar:1995:AMS% }. \NAMECITE{5th}{% Main:1990:MFP% }. \NAMECITE{7th}{% Montanari:1996:CCT% }. \NAMECITE{'95}{% Alagar:1995:AMS% }. \NAMECITE{'96}{% Montanari:1996:CCT% }. \NAMECITE{Abstract}{% Jagadeesan:1992:ASH,% Abramsky:1992:GFC,% Abramsky:1994:FAP,% Jagadeesan:1991:FAS,% Saraswat:2005:CCP% }. \NAMECITE{Abstraction}{% Godefroid:2001:ABM,% Abramsky:1994:FAP,% Abramsky:2000:FAP,% Godefroid:2002:AAU% }. \NAMECITE{Abstraction-based}{% Godefroid:2001:ABM% }. \NAMECITE{access}{% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR% }. \NAMECITE{{Albuquerque}}{% ACM:1992:CRN% }. \NAMECITE{Algebraic}{% Alagar:1995:AMS,% Colby:1998:DIT,% Colby:1998:STP% }. \NAMECITE{{AMAST}}{% Alagar:1995:AMS% }. \NAMECITE{Analysis}{% Jagadeesan:1995:CTC% }. \NAMECITE{Annual}{% ACM:1992:CRN% }. \NAMECITE{{API}}{% Colby:1998:DIT,% Colby:1998:STP% }. \NAMECITE{Approximate}{% Gupta:2006:ARR% }. \NAMECITE{Approximating}{% Desharnais:2000:ALM,% Desharnais:2003:ALM% }. \NAMECITE{April}{% Main:1990:MFP% }. \NAMECITE{aspects}{% Jagadeesan:2006:TPP% }. \NAMECITE{August}{% Montanari:1996:CCT% }. \NAMECITE{Automata}{% Gupta:1997:RTA,% Paterson:1990:ALP,% Gupta:1996:HCH% }. \NAMECITE{Automatic}{% Godefroid:2002:AAU% }. \NAMECITE{based}{% Godefroid:2001:ABM,% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR% }. \NAMECITE{bisimulation}{% Desharnais:2002:WBS,% Desharnais:2010:WBS% }. \NAMECITE{Calculus}{% Jagadeesan:1990:DTM,% Jagadeesan:1995:CTC% }. \NAMECITE{Canada}{% Alagar:1995:AMS% }. \NAMECITE{case}{% Colby:1998:OPT% }. \NAMECITE{Causality}{% Jagadeesan:1995:CTC% }. \NAMECITE{cc}{% Gupta:1996:HCH% }. \NAMECITE{change}{% Gupta:1998:CCC% }. \NAMECITE{checking}{% Godefroid:2001:ABM,% Godefroid:2002:AAU% }. \NAMECITE{clustered}{% Saraswat:2005:CCP% }. \NAMECITE{colloquium}{% Paterson:1990:ALP% }. \NAMECITE{complete}{% Desharnais:2002:WBS,% Desharnais:2010:WBS% }. \NAMECITE{completeness}{% Abramsky:1992:GFC,% Abramsky:1994:GFC,% Abramsky:1995:GFC% }. \NAMECITE{Computer}{% Alur:2007:PSI% }. \NAMECITE{Computing}{% Gupta:1998:CCC% }. \NAMECITE{{CONCUR}}{% Montanari:1996:CCT% }. \NAMECITE{Concurrency}{% Jagadeesan:1995:CTC,% Montanari:1996:CCT% }. \NAMECITE{Concurrent}{% Saraswat:1994:FTC,% Saraswat:1994:PTC,% Saraswat:2005:CCP,% Gupta:1996:MCC,% Gupta:1996:TCC,% Gupta:1997:PCC,% Gupta:2002:TCC,% Jagadeesan:2005:TCS,% Saraswat:1996:TDC% }. \NAMECITE{Conference}{% ACM:1992:CRN,% Montanari:1996:CCT,% Alagar:1995:AMS,% Alur:2007:PSI,% Main:1990:MFP% }. \NAMECITE{Constraint}{% Gupta:1995:PHC,% Saraswat:1994:FTC,% Saraswat:1994:PTC,% Gupta:1996:MCC,% Gupta:1996:TCC,% Gupta:1997:PCC,% Gupta:2002:TCC,% Saraswat:1996:TDC% }. \NAMECITE{continuous}{% Gupta:1998:CCC% }. \NAMECITE{control}{% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR% }. \NAMECITE{Dataflow}{% Jagadeesan:1995:CTC% }. \NAMECITE{Default}{% Saraswat:1996:TDC% }. \NAMECITE{Design}{% Colby:1998:DIT% }. \NAMECITE{Domain}{% Jagadeesan:1990:DTM,% Huth:2004:DER% }. \NAMECITE{Domain-theoretic}{% Jagadeesan:1990:DTM% }. \NAMECITE{domains}{% Jagadeesan:1989:DLP,% Jagadeesan:1990:DLP% }. \NAMECITE{England}{% Paterson:1990:ALP% }. \NAMECITE{equation}{% Huth:2004:DER% }. \NAMECITE{Events}{% Colby:1998:DIT,% Colby:1998:STP% }. \NAMECITE{extended}{% Abramsky:1992:GFC,% Abramsky:1994:FAP,% Saraswat:2005:CCP% }. \NAMECITE{first}{% Jagadeesan:1991:FAS% }. \NAMECITE{Foundations}{% Abramsky:1992:NFG,% Abramsky:1994:NFG,% Saraswat:1994:FTC,% Main:1990:MFP% }. \NAMECITE{Full}{% Abramsky:1994:FAP,% Abramsky:2000:FAP,% Abramsky:1992:GFC,% Abramsky:1994:GFC,% Abramsky:1995:GFC% }. \NAMECITE{fully}{% Jagadeesan:1991:FAS% }. \NAMECITE{fully-abstract}{% Jagadeesan:1991:FAS% }. \NAMECITE{Functional}{% Jagadeesan:1992:ASH,% Jagadeesan:1991:FAS% }. \NAMECITE{game}{% Abramsky:2003:GSG,% Abramsky:2005:GSG% }. \NAMECITE{Games}{% Abramsky:1992:GFC,% Abramsky:1994:GFC,% Abramsky:1995:GFC% }. \NAMECITE{generalized}{% Godefroid:2002:AAU% }. \NAMECITE{generic}{% Abramsky:2003:GSG,% Abramsky:2005:GSG% }. \NAMECITE{Geometry}{% Abramsky:1992:NFG,% Abramsky:1994:NFG% }. \NAMECITE{Higher}{% Jagadeesan:1990:DTM,% Jagadeesan:1992:ASH% }. \NAMECITE{Higher-Order}{% Jagadeesan:1992:ASH,% Jagadeesan:1990:DTM% }. \NAMECITE{Hybrid}{% Gupta:1995:PHC,% Gupta:1996:HCH% }. \NAMECITE{Implementation}{% Colby:1998:DIT% }. \NAMECITE{Interaction}{% Abramsky:1992:NFG,% Abramsky:1994:NFG% }. \NAMECITE{International}{% Montanari:1996:CCT,% Alagar:1995:AMS,% Main:1990:MFP,% Paterson:1990:ALP% }. \NAMECITE{interpretation}{% Jagadeesan:2005:TCS% }. \NAMECITE{intuitionistic}{% Jagadeesan:2005:TCS% }. \NAMECITE{issue}{% Alur:2007:PSI% }. \NAMECITE{Italy}{% Montanari:1996:CCT% }. \NAMECITE{{January}}{% ACM:1992:CRN% }. \NAMECITE{{Java}}{% Colby:1998:OPT% }. \NAMECITE{July}{% Alagar:1995:AMS,% Paterson:1990:ALP% }. \NAMECITE{labeled}{% Desharnais:1999:MLM,% Desharnais:2000:ALM% }. \NAMECITE{labelled}{% Desharnais:2003:ALM,% Desharnais:2004:MLM% }. \NAMECITE{Language}{% Jagadeesan:1992:ASH,% Jagadeesan:1991:FAS% }. \NAMECITE{Languages}{% ACM:1992:CRN,% Gupta:1995:PHC,% Saraswat:1994:PTC,% Paterson:1990:ALP% }. \NAMECITE{linear}{% Abramsky:1992:GFC,% Abramsky:1994:GFC,% Abramsky:1995:GFC% }. \NAMECITE{Logic}{% Alur:2007:PSI,% Abramsky:1992:GFC,% Abramsky:1994:GFC,% Abramsky:1995:GFC,% Jagadeesan:1991:FAS,% Jagadeesan:1992:ASH,% Jagadeesan:2005:TCS% }. \NAMECITE{Lossless}{% Jagadeesan:1989:DLP,% Jagadeesan:1990:DLP% }. \NAMECITE{Louisiana}{% Main:1990:MFP% }. \NAMECITE{March}{% Main:1990:MFP% }. \NAMECITE{{Markov}}{% Desharnais:1999:MLM,% Desharnais:2000:ALM,% Desharnais:2003:ALM,% Desharnais:2004:MLM% }. \NAMECITE{Mathematical}{% Main:1990:MFP% }. \NAMECITE{methodology}{% Alagar:1995:AMS% }. \NAMECITE{Metrics}{% Desharnais:1999:MLM,% Desharnais:2004:MLM% }. \NAMECITE{{Mexico}}{% ACM:1992:CRN% }. \NAMECITE{modal}{% Godefroid:2001:ABM% }. \NAMECITE{Model}{% Jagadeesan:1990:DTM,% Godefroid:2001:ABM,% Godefroid:2002:AAU% }. \NAMECITE{Models}{% Gupta:1996:MCC% }. \NAMECITE{Montreal}{% Alagar:1995:AMS% }. \NAMECITE{{MR2375571}}{% Jagadeesan:2008:RPR% }. \NAMECITE{multiplicative}{% Abramsky:1992:GFC,% Abramsky:1994:GFC,% Abramsky:1995:GFC% }. \NAMECITE{Nineteenth}{% ACM:1992:CRN% }. \NAMECITE{Objects}{% Colby:1998:OPT% }. \NAMECITE{Order}{% Jagadeesan:1992:ASH,% Jagadeesan:1990:DTM,% Jagadeesan:1991:FAS% }. \NAMECITE{Orleans}{% Main:1990:MFP% }. \NAMECITE{papers}{% ACM:1992:CRN,% Alur:2007:PSI% }. \NAMECITE{parametric}{% Jagadeesan:2006:TPP% }. \NAMECITE{partial}{% Huth:2004:DER% }. \NAMECITE{{PCF}}{% Abramsky:1994:FAP,% Abramsky:2000:FAP% }. \NAMECITE{{pCTL}}{% Desharnais:2010:WBS% }. \NAMECITE{{PCTL}*}{% Desharnais:2002:WBS% }. \NAMECITE{Pi}{% Jagadeesan:1995:CTC% }. \NAMECITE{Pi-Calculus}{% Jagadeesan:1995:CTC% }. \NAMECITE{Pisa}{% Montanari:1996:CCT% }. \NAMECITE{polymorphism}{% Abramsky:2003:GSG,% Abramsky:2005:GSG,% Jagadeesan:2006:TPP% }. \NAMECITE{Powerdomains}{% Jagadeesan:1989:DLP,% Jagadeesan:1990:DLP% }. \NAMECITE{{Preface}}{% Alur:2007:PSI% }. \NAMECITE{presented}{% ACM:1992:CRN% }. \NAMECITE{Principles}{% ACM:1992:CRN% }. \NAMECITE{Probabilistic}{% Gupta:1997:PCC,% Gupta:2006:ARR% }. \NAMECITE{proceedings}{% Alagar:1995:AMS,% Main:1990:MFP,% Montanari:1996:CCT,% Paterson:1990:ALP% }. \NAMECITE{Process}{% Colby:1998:DIT,% Jagadeesan:1990:DTM,% Colby:1998:STP% }. \NAMECITE{Process-algebraic}{% Colby:1998:DIT,% Colby:1998:STP% }. \NAMECITE{Processes}{% Colby:1998:OPT,% Desharnais:2000:ALM,% Desharnais:2003:ALM,% Desharnais:2004:MLM,% Gupta:2006:ARR% }. \NAMECITE{program}{% Gupta:1996:HCH% }. \NAMECITE{Programming}{% ACM:1992:CRN,% Gupta:1995:PHC,% Saraswat:1994:FTC,% Saraswat:1994:PTC,% Gupta:1996:MCC,% Gupta:1996:TCC,% Gupta:1997:PCC,% Gupta:2002:TCC,% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR,% Main:1990:MFP,% Paterson:1990:ALP,% Saraswat:1996:TDC,% Saraswat:2005:CCP% }. \NAMECITE{{RBAC}}{% Jagadeesan:2008:RPR% }. \NAMECITE{real}{% Gupta:2006:ARR% }. \NAMECITE{real-time}{% Gupta:2006:ARR% }. \NAMECITE{reasoning}{% Gupta:2006:ARR% }. \NAMECITE{record}{% ACM:1992:CRN% }. \NAMECITE{refinement}{% Huth:2004:DER% }. \NAMECITE{reprint}{% Jagadeesan:2008:RPR% }. \NAMECITE{Robust}{% Gupta:1997:RTA% }. \NAMECITE{role}{% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR% }. \NAMECITE{role-based}{% Jagadeesan:2006:PRB,% Jagadeesan:2008:RPR% }. \NAMECITE{Science}{% Alur:2007:PSI% }. \NAMECITE{selected}{% Alur:2007:PSI% }. \NAMECITE{Semantics}{% Jagadeesan:1992:ASH,% Abramsky:2003:GSG,% Abramsky:2005:GSG,% Colby:1998:STP,% Jagadeesan:1991:FAS,% Main:1990:MFP% }. \NAMECITE{{SIGACT}}{% ACM:1992:CRN% }. \NAMECITE{{SIGPLAN}}{% ACM:1992:CRN% }. \NAMECITE{{SIGPLAN-SIGACT}}{% ACM:1992:CRN% }. \NAMECITE{software}{% Alagar:1995:AMS% }. \NAMECITE{sound}{% Desharnais:2002:WBS,% Desharnais:2010:WBS% }. \NAMECITE{Special}{% Alur:2007:PSI% }. \NAMECITE{study}{% Colby:1998:OPT% }. \NAMECITE{Symposium}{% ACM:1992:CRN% }. \NAMECITE{systems}{% Desharnais:1999:MLM,% Godefroid:2001:ABM,% Huth:2004:DER,% Jagadeesan:2005:TCS% }. \NAMECITE{technology}{% Alagar:1995:AMS% }. \NAMECITE{telecommunication}{% Colby:1998:OPT% }. \NAMECITE{Testing}{% Jagadeesan:2005:TCS% }. \NAMECITE{theoretic}{% Jagadeesan:1990:DTM% }. \NAMECITE{theory}{% Montanari:1996:CCT% }. \NAMECITE{Threads}{% Colby:1998:DIT,% Colby:1998:STP% }. \NAMECITE{time}{% Gupta:2006:ARR% }. \NAMECITE{Timed}{% Gupta:1997:RTA,% Saraswat:1994:FTC,% Saraswat:1994:PTC,% Saraswat:1996:TDC% }. \NAMECITE{transition}{% Godefroid:2001:ABM% }. \NAMECITE{{Triveni}}{% Colby:1998:DIT,% Colby:1998:OPT,% Colby:1998:STP% }. \NAMECITE{True}{% Jagadeesan:1995:CTC% }. \NAMECITE{Truly}{% Gupta:1996:TCC,% Gupta:2002:TCC% }. \NAMECITE{Tulane}{% Main:1990:MFP% }. \NAMECITE{Typed}{% Jagadeesan:2006:TPP% }. \NAMECITE{University}{% Main:1990:MFP,% Paterson:1990:ALP% }. \NAMECITE{{USA}}{% Main:1990:MFP% }. \NAMECITE{using}{% Godefroid:2001:ABM,% Godefroid:2002:AAU% }. \NAMECITE{variables}{% Jagadeesan:1991:FAS,% Jagadeesan:1992:ASH% }. \NAMECITE{verification}{% Gupta:1996:HCH% }. \NAMECITE{Warwick}{% Paterson:1990:ALP% }. \NAMECITE{Weak}{% Desharnais:2002:WBS,% Desharnais:2010:WBS% }.