In dit artikel wordt via het producenten- en consumentenprobleem het onderwerp parallelle processen ingeleid. E.W. Dijkstra's definitie van semaforen wordt geherformuleerd met behulp van pre- en postcondities in de stijl van Hoare. Het verschijnsel interim- situatie wordt geïntroduceerd. Een veralgemening van de stelling van Habermann wordt geformuleerd en bewezen. Er wordt verband gelegd met het verschijnsel interimsituatie.1 Inleiding
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.