%%====================================================================== %% 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 Oct 13 15:53:02 MDT 2017 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{13th}{% Dittrich:2001:AIS% }. \NAMECITE{Advanced}{% Dittrich:2001:AIS,% Lu:2001:PTI% }. \NAMECITE{Applications}{% Lu:2001:PTI% }. \NAMECITE{April}{% Lu:2001:PTI% }. \NAMECITE{Atomicity}{% Derks:2001:CAS,% Derks:2000:CAS% }. \NAMECITE{Beijing}{% Lu:2001:PTI% }. \NAMECITE{Business}{% Dehnert:2001:ECB,% Dehnert:2001:FSS,% Dehnert:2001:RSB% }. \NAMECITE{{CAiSE}}{% Dittrich:2001:AIS% }. \NAMECITE{China}{% Lu:2001:PTI% }. \NAMECITE{choice}{% Dehnert:2002:NCC% }. \NAMECITE{{CODAS}}{% Lu:2001:PTI% }. \NAMECITE{Colored}{% Dehnert:2000:WMP% }. \NAMECITE{conference}{% Dittrich:2001:AIS% }. \NAMECITE{Controllability}{% Dehnert:2001:ECB,% Dehnert:2002:NCC% }. \NAMECITE{controllable}{% Dehnert:2002:NCC% }. \NAMECITE{Cooperative}{% Lu:2001:PTI% }. \NAMECITE{Customized}{% Derks:2000:CAS,% Derks:2001:CAS% }. \NAMECITE{Database}{% Lu:2001:PTI% }. \NAMECITE{engineering}{% Dittrich:2001:AIS% }. \NAMECITE{Evaluation}{% Dehnert:2000:MPE,% Dehnert:2000:WMP% }. \NAMECITE{Expressing}{% Dehnert:2001:ECB,% Dehnert:2002:NCC% }. \NAMECITE{Four}{% Dehnert:2001:FSS% }. \NAMECITE{information}{% Dittrich:2001:AIS% }. \NAMECITE{Interlaken}{% Dittrich:2001:AIS% }. \NAMECITE{International}{% Lu:2001:PTI,% Dittrich:2001:AIS% }. \NAMECITE{June}{% Dittrich:2001:AIS% }. \NAMECITE{Modeling}{% Dehnert:2000:MPE,% Dehnert:2000:WMP,% Eshuis:2003:RPN% }. \NAMECITE{Models}{% Dehnert:2001:FSS% }. \NAMECITE{Nets}{% Dehnert:2000:WMP,% Eshuis:2003:RPN% }. \NAMECITE{Non}{% Dehnert:2002:NCC% }. \NAMECITE{Non-controllable}{% Dehnert:2002:NCC% }. \NAMECITE{Performance}{% Dehnert:2000:MPE,% Dehnert:2000:WMP% }. \NAMECITE{{Petri}}{% Dehnert:2000:WMP,% Eshuis:2003:RPN% }. \NAMECITE{proceedings}{% Dittrich:2001:AIS,% Lu:2001:PTI% }. \NAMECITE{Process}{% Dehnert:2001:FSS% }. \NAMECITE{Processes}{% Dehnert:2001:ECB,% Dehnert:2001:RSB,% Dehnert:2002:NCC% }. \NAMECITE{Reactive}{% Eshuis:2003:RPN% }. \NAMECITE{Relaxed}{% Dehnert:2001:RSB% }. \NAMECITE{robustness}{% Dehnert:2002:NCC% }. \NAMECITE{Sound}{% Dehnert:2001:FSS% }. \NAMECITE{Soundness}{% Dehnert:2001:RSB% }. \NAMECITE{Specification}{% Derks:2001:CAS,% Derks:2000:CAS% }. \NAMECITE{Steps}{% Dehnert:2001:FSS% }. \NAMECITE{Stochastic}{% Dehnert:2000:WMP% }. \NAMECITE{Switzerland}{% Dittrich:2001:AIS% }. \NAMECITE{Symposium}{% Lu:2001:PTI% }. \NAMECITE{Systematic}{% Dehnert:2001:FSS% }. \NAMECITE{Systems}{% Dehnert:2000:MPE,% Lu:2001:PTI,% Dittrich:2001:AIS% }. \NAMECITE{Third}{% Lu:2001:PTI% }. \NAMECITE{Transactional}{% Derks:2001:CAS,% Derks:2000:CAS% }. \NAMECITE{Workflow}{% Dehnert:2000:MPE,% Dehnert:2000:WMP,% Derks:2001:CAS,% Dehnert:2002:NCC,% Derks:2000:CAS,% Eshuis:2003:RPN% }.