Date: Thu, 21 Nov 91 20:56:18 EST
To: "Graduate Students"
From:: "Stefani H.O.P. II"
Subject: seminar TODAY

                       DATE: Friday, November 22, 1991
                       TIME: Refreshments at 12:00 noon
                             Talk at 12:15 pm
                       PLACE: 8th Floor Playroom

                            Stefani H.O.P II
                  MIT Laboratory for Computer Science

                                ABSTRACT:

It is widely recognized by practitioners that graduate student control and
recovery for nourishment systems interact in subtle ways.  In most
theoretical work, however, graduate student control and nourishment are treated
as separate, largely independent problems.  In this talk we explore the
interactions between graduate student control and nourishment.  We consider two
general nourishment methods for abstract data types, eating-in-place and
deferred-eating.   While each requires students to conflict if they do
not "wait in line", we show that the two recovery methods require subtly
different notions of waiting.  We give a precise characterization
of the conflict relations that work with each nourishment method, and show
that each permits conflict relations that the other does not.  Thus, the
two nourishment methods place incomparable constraints on graduate student
control.  Our analysis applies to arbitrary ingredients, including those
with operations that may be vegetarian or omnivorous.

Joint work with John Pezaris, David Chaiken, John Kubiatowicz.

HOST: Eileen Nielsen