About fair asynchrony

https://doi.org/10.1016/0304-3975(85)90095-7Get rights and content
Under an Elsevier user license
open archive

Abstract

This paper examines the joint influence of fairness and asynchrony on the semantic modelling of a C.C.S.-like language. Fairness is the guarantee for every agent engaged in a computation to communicate with the other asynchronous agents if such communications are infinitely often possible. Programs are compared according to an implementation preorder which reflects the inclusion of observable properties: whenever, for every context |c and for every program r, no computation of r, experimenting upon |c (p) allows to recognize p versus q, p is considered less than q. A fully abstract model of the preorder is constructed in a domain of infinitary language, preferred here to classical algebraic domains. The restriction to bounded parallelism is analysed. In that simplified framework, the model turns effective and, moreover, decidable.

Résumé

Nous examinons l'influence de l'équité sur la sémantique d'un langage à la C.C.S. A chacun des agents asynchrones participant à l'exécution d'un programme, l'équité garantit de communiquer avec les autres agents si cette communication est infiniment souvent possible. Les programmes sont munis d'un préorde d'implémentation qui traduit l'inclusion de leurs propriétés observables: p est plus petit que q si, pour tout contexte |c et pour tout programme r, l'expérimentation de |c (p) par r ne permet pas de distinguer p de q. Un modéle pleinement abstrait du préordre est construit dans un domaine de langages infinitaires, préféré aux domaines algébriques classiques. On analyse la restriction du modèle au parallèlisme à degré borné. Dans ce cadre simplifié, le modèle acquiert effectivité et décidabilité.

Cited by (0)

A shorter version of this paper has originally been published by Springer, in the NATO ASI Series.