A class of allocation strategies inducing bounded delays only

Authors:
Edsger W. Dijkstra
Affiliations:
Technological University, Eindhoven, The Netherlands
Venue:
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Year:
1971

Citing 0
Cited 2

A semantic model for parallel systems with scheduling

POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A formal specification and verification method for the prevention of denial of service

SP'88 Proceedings of the 1988 IEEE conference on Security and privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a finite set of persons, say numbered from 1 through M, whose never ending life consists of an alternation of eating and thinking, i.e., (in the first instance) they all behave according to the program cycle begin eat; think end.