An implementation of mutual inclusion

R.R. Hoogerwoord

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)

Abstract

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
Volume23
Issue number2
DOIs
Publication statusPublished - 1986

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

Cite this