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 prop...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন

প্রধান লেখক:	Libero Nigro, Franco Cicirelli
বিন্যাস:	Artigo
ভাষা:	Inglês
প্রকাশিত:	MDPI AG 2025-04-01
মালা:	Algorithms
বিষয়গুলি:	concurrent/parallel processes mutual exclusion atomic/non-atomic registers Dekker’s algorithms for mutual exclusion formal modeling timed automata
অনলাইন ব্যবহার করুন:	https://www.mdpi.com/1999-4893/18/4/226
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!