Paper Details

@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."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.