Making the Unobservable, Unobservable

نویسندگان

  • Julian Rathke
  • Pawel Sobocinski
چکیده

Behavioural equivalences of various calculi for modelling distributed systems differ significantly because the properties which can be observed through interaction depend heavily upon their mode of communication. A typical approach to describing the semantics of communicating processes is to provide a labelled transition system (lts) which captures the interaction potential of the individual processes within a larger system. In many cases, a natural rendering of this lts leads to too fine a semantics as unobservability of certain communications is not accounted for. We propose that a standard approach to augmenting ltss allows morally unobservable communications to actually be modelled as unobservables in the semantics. This approach derives from a rule initially given by Honda and Tokoro to account for unobservability of reception in the asynchronous π-calculus. We examine the implications of adding such rules to lts with respect to the proving behavioural equivalences for various synchronisation mechanisms.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Brand Reputation, Warranty, and Product Quality

When product quality is unobservable to consumers, a manufacturer can convey the quality information using signals such as warranty and brand reputation. The purpose of this paper is to study the interactions between warranty, brand reputation, and product quality, and to examine the quality signaling strategies. We model a monopolist who tries to convey unobservable product quality to heteroge...

متن کامل

Saving Unobservable Phenomena

In this paper I argue—against van Fraassen’s constructive empiricism—that the practice of saving phenomena is much broader than usually thought, and includes unobservable phenomena as well as observable ones. My argument turns on the distinction between data and phenomena: I discuss how unobservable phenomena manifest themselves in data models and how theoretical models able to save them are ch...

متن کامل

Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions Interdisciplinary Studies of Intelligent Systems Supervisory Control of Petri Nets with Uncontrollable/unobservable Transitions

This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that contain uncontrollable transitions. The concept of unobservable plant transitions is introduced here and incorporated into the controller design procedure. New conditions are developed which govern the existence of controllers for these problems. Two procedu...

متن کامل

Phasor Measurement Unit Selection for Unobservable Smart Grid Data Integrity Attack Detection

Electric power system operators make critical decisions based on remote measurements. If those measurements are compromised, it is possible to make decisions that could lead to critical consequences. Of particular concern are unobservable attacks in which compromised measurements are not flagged as erroneous by bad data detection algorithms. The use of secure measurement devices, such as PMUs, ...

متن کامل

Quantum coherence in the presence of unobservable quantities

State representations summarize our knowledge about a system. When unobservable quantities are introduced the state representation is typically no longer unique. However, this nonuniqueness does not affect subsequent inferences based on any observable data. We demonstrate that the inference-free subspace may be extracted whenever the quantity’s unobservability is guaranteed by a global conserva...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 229  شماره 

صفحات  -

تاریخ انتشار 2009