@InProceedings{SmithParsons02,
  title =        "{V}iew-{C}entric {R}easoning for {L}inda and {T}uple {S}pace {C}omputation",
  author=        "Smith,  Marc L. and Parsons,  Rebecca J. and Hughes,  Charles E.",
  editor=        "Pascoe,  James S. and Loader,  Roger J. and Sunderam,  Vaidy S.",
  pages =        "223--254",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2002",
  isbn=          "1 58603 268 2",
  year=          "2002",
  month=         "sep",
  abstract=      "In contrast to sequential computation, concurrent
     computation gives rise to parallel events. Efforts to
     translate the history of concurrent computations into
     sequential event traces result in the potential uncertainty
     of the observed order of these events. Loosely coupled
     distributed systems complicate this uncertainty even further
     by introducing the element of multiple imperfect observers
     of these parallel events. Properties of such systems are
     difficult to reason about, and in some cases, attempts to
     prove safety or liveness lead to ambiguities. We present a
     survey of challenges of reasoning about properties of
     concurrent systems. We then propose a new approach,
     view-centric reasoning, that avoids the problem of
     translating concurrency into a se-quential representation.
     Finally. we demonstrate the usefulness of view-centric
     reasoning as a framework for disambiguating the meaning of
     tuple space predicate operations, versions of which exist
     commercially in IBM*s T Spaces and Sun*s JavaSpaces."
}