A framework for fair communicating processes

Research output: Contribution to journalConference article

1 Scopus citations

Abstract

This paper describes a general framework for modeling fairness for communicating processes, based on the notion of fair traces. Intuitively, a fair trace is an abstract representation of a fair computation, providing enough structure to capture the important essence of the computation (e.g., the sequences of states encountered or the communications made along it) as well as any contextual information necessary for compositionality. The key for determining this necessary contextual information is the introduction of parameterized fairness notions, which permit compositional characterizations of fairness. In contrast, most traditional treatments of fairness are based on operational semantics and do not lend themselves naturally to compositional reasoning. This trace framework is remarkably robust. By varying the structure of the traces, we can construct several different semantics that reflect different types of fairness assumptions for the same language of communicating processes. These semantics in turn support not only compositional reasoning about fair program behavior but also the comparison of different fairness notions and the semantic structure that they require.

Original languageEnglish (US)
Pages (from-to)273-294
Number of pages22
JournalElectronic Notes in Theoretical Computer Science
Volume6
DOIs
StatePublished - Jan 1 1997
EventMFPS XIII, Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference - Pittsburgh, PA, United States
Duration: Mar 23 1997Mar 26 1997

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A framework for fair communicating processes'. Together they form a unique fingerprint.

  • Cite this