An implementation of mutual inclusion
type: Item
instance of: scholarly article
title: An implementation of mutual inclusion
zbMATH Open document ID: 0601.68026
DOI: 10.1016/0020-0190(86)90046-3
author: Rob R. Hoogerwoord
published in: Information Processing Letters
publication date: 1986-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3970101
zbMATH Keywords: parallel composition of two cyclic programs
zbMATH Keywords: synchronisation
zbMATH Keywords: mutual inclusion
zbMATH Keywords: semaphore operations
zbMATH Keywords: correctness
zbMATH Keywords: deadlock
MaRDI profile type: Publication
full work available at URL: 0020-0190(86)90046-3
OpenAlex ID: W2024302394
cites work: Q3962450
cites work: An axiomatic proof technique for parallel programs
description: scientific article; zbMATH DE number 3970101