back icon
close icon

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Article  September 1, 2014

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of Other Models for Distributed Computing

SRI Authors Carolyn Talcott



Stehr, M. O., Kim, M., & Talcott, C. (2014). Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. Lecture Notes in Computer Science, 8373, 402-433.


The latest sensor, actuator, and wireless communication technologies make it feasible to build systems that can operate in challenging environments, but we argue in this paper that the foundations needed to support the design of such systems are not well developed. Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper and put into context of existing research. We also introduce a general probabilistic semanticsfor our model and the flavor of its specialization to characterize fractionated systems, an interesting class of systems with a potentially large number of redundantly operating components that can be programmed independently of the actual number that is deployed or operational at runtime.

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.

Our Privacy Policy