28.01.2015 Views

Hermes: A Tutorial and Reference Manual - Researcher - IBM

Hermes: A Tutorial and Reference Manual - Researcher - IBM

Hermes: A Tutorial and Reference Manual - Researcher - IBM

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

212C.1.<strong>Reference</strong>s<br />

[SBY88]RobertE.Strom,DavidF.Bacon,<strong>and</strong>ShaulaAlex<strong>and</strong>erYem-<br />

[SBY87]RobertE.Strom,DavidF.Bacon,<strong>and</strong>ShaulaAlex<strong>and</strong>erYem-<br />

[PS83]FrancisN.Parr<strong>and</strong>RobertE.Strom.NIL:Ahigh-levellansearchNoteRC13373,<strong>IBM</strong>T.J.WatsonResearchCenter,1987ini.Volatilelogginginn-fault-tolerantdistributedsystems.Renal,22(1-2),1983guagefordistributedsystemsprogramming.<strong>IBM</strong>SystemsJour-<br />

[SY83]RobertE.Strom<strong>and</strong>ShaulaAlex<strong>and</strong>erYemini.NIL:Anintegratedlanguage<strong>and</strong>systemfordistributedprogramming.In<br />

[Str86]RobertE.Strom.Acomparisonoftheobject-oriented<strong>and</strong> process-orientedparadigms.In<strong>IBM</strong>/BrownWorkshopon 1986. TolerantComputing:DigestofPapers,pages44{49,June1988. Object-OrientedProgramming.ACM,SIGPLANNotices,June InTheEighteenthAnnualInternationalSymposiumonFault-<br />

[SY84]RobertE.Strom<strong>and</strong>ShaulaAlex<strong>and</strong>erYemini.Optimistic onFault-TolerantComputing.IEEEComputerSociety,1984. tributedsystems.InTheFourteenthInternationalSymposium recovery:Anasynchronousapproachtofault-toleranceindis-<br />

SoftwareSystems,June1983. SIGPLAN'83SymposiumonProgrammingLanguageIssuesin<br />

[SY86]RobertE.Strom<strong>and</strong>ShaulaAlex<strong>and</strong>erYemini.Typestate:A [SY85]RobertE.Strom<strong>and</strong>ShaulaAlex<strong>and</strong>erYemini.Optimisticrecoveryindistributedsystems.ACMTransactionsonComputer<br />

Systems,3(3):204{226,August1985. ity.IEEETransactionsonSoftwareEngineering,SE-12(1):157{ programminglanguageconceptforenhancingsoftwarereliabil-<br />

[SY89]RobertE.Strom<strong>and</strong>DanielM.Yellin.Computationally [SY87]RobertE.Strom<strong>and</strong>ShaulaAlex<strong>and</strong>erYemini.Synthesizing 171,January1986.<br />

tractablesemilatticesforglobaldataowanalysis.Technical puterSciencePress,1987. distributed<strong>and</strong>parallelprogramsthroughoptimistictransfor-<br />

ReportRC14936,<strong>IBM</strong>T.J.WatsonResearchCenter,August mations.InYechiamYemini,editor,CurrentAdvancesinDis-<br />

1989. tributedComputing<strong>and</strong>Communications,pages234{256.Com-

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!