SOME IMPOSSIBILITY RESULTS IN INTERPROCESS SYNCHRONIZATION

Authors
TSAY YK BAGRODIA RL
Citation
Yk. Tsay et Rl. Bagrodia, SOME IMPOSSIBILITY RESULTS IN INTERPROCESS SYNCHRONIZATION, Distributed computing, 6(4), 1993, pp. 221-231
Citations number
20
Categorie Soggetti
Controlo Theory & Cybernetics",Mathematics,"Computer Applications & Cybernetics
Journal title
Distributed computing → ACNP
ISSN journal
01782770
Volume
6
Issue
4
Year of publication
1993
Pages
221 - 231
Database
ISI
SICI code
0178-2770(1993)6:4<221:SIRIIS>2.0.ZU;2-E
Abstract
In this paper we construct a formal specification of the problem of sy nchronizing asynchronous processes under strong fairness. We prove tha t strong interaction fairness is impossible for binary (and hence for multiway) interactions and strong process fairness is impossible for m ultiway interactions.