An implementation of mutual inclusion

R.R. Hoogerwoord

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
1 Downloads (Pure)


We consider the parallel composition of two cyclic programs. The interaction of these programs consists of a form of synchronisation sometimes referred to as ‘mutual inclusion’. For a given implementation of this synchronisation by means of semaphore operations, we prove the correctness of the programs and we prove the absence of the danger of deadlock.
Original languageEnglish
Pages (from-to)77-80
JournalInformation Processing Letters
Issue number2
Publication statusPublished - 1986


Dive into the research topics of 'An implementation of mutual inclusion'. Together they form a unique fingerprint.

Cite this