Paper Details

%T View\-Centric Reasoning for Linda and Tuple Space Computation
%A Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes
%E James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam
%B Communicating Process Architectures 2002
%X 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.