Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes

Dekker’s algorithm for mutual exclusion of two processes is the well-known first developed correct solution based only on software mechanisms. The algorithm served as the starting point for researchers to create subsequent safe solutions both for two and N > 2 processes. In recent years, Dekker p...

Full description

Bibliographic Details

Published in:	Algorithms
Main Authors:	Libero Nigro, Franco Cicirelli
Format:	Article
Language:	English
Published:	MDPI AG 2025-04-01
Subjects:	concurrent/parallel processes mutual exclusion atomic/non-atomic registers Dekker’s algorithms for mutual exclusion formal modeling timed automata
Online Access:	https://www.mdpi.com/1999-4893/18/4/226