Search results for "mutual exclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	James H. Anderson, Yong-Jik Kim, Ted Herman	Shared-memory mutual exclusion: major research trends since 1986.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Adaptive mutual exclusion, Fast mutual exclusion, k-exclusion, Nonatomic algorithms, Timing-based algorithms, Time complexity, Shared-memory systems, Group mutual exclusion, Local spinning
5	R. T. Jacob, Ivor P. Page	Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	mutual exclusion solutions, binary semaphores, graphical form, mutual exclusion constraint, edge semaphore solution, edge solvable, entry, exit sections, graph theory, operating systems (computers), graph grammar, efficient algorithm, vertex, forbidden subgraph, mutual exclusion problem
4	Vibhor Bhatt, Chien-Chung Huang	Group mutual exclusion in O(log n) RMR.	PODC	2010	DBLP DOI BibTeX RDF	remote memory reference (rmr), synchronization, mutual exclusion, group mutual exclusion
4	Ousmane Thiare, Mohamed Naimi	A Group k-Mutual Exclusion Algorithm for Mobile Ad Hoc Networks.	IWANN	2009	DBLP DOI BibTeX RDF	group k-mutual exclusion, ad hoc networks, mutual exclusion
4	Ranganath Atreya, Neeraj Mittal, Sathya Peri	A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	quorumbased algorithm, resource management, mutual exclusion, message-passing system, group mutual exclusion
4	David Lin, Teng-Sheng Moh, W. Melody Moh	Brief announcement: improved asynchronous group mutual exclusion in token-passing networks.	PODC	2005	DBLP DOI BibTeX RDF	distributed algorithm, message-passing, mutual exclusion, token-passing, group mutual exclusion
4	Yuh-Jzer Joung	Quorum-Based Algorithms for Group Mutual Exclusion.	IEEE Trans. Parallel Distrib. Syst.	2003	DBLP DOI BibTeX RDF	surficial quorum system, resource allocation, Mutual exclusion, quorum system, coteries, group mutual exclusion
4	Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Group Mutual Exclusion In Tree Networks.	ICPADS	2002	DBLP DOI BibTeX RDF	Distributed algorithms, mutual exclusion, group mutual exclusion
4	Yuh-Jzer Joung	Asynchronous group mutual exclusion.	Distributed Computing	2000	DBLP DOI BibTeX RDF	Congenial talking philosophers, Shared-memory algorithms, Resource allocation, Mutual exclusion, Group mutual exclusion
4	Nian-Feng Tzeng, Shiwa S. Fu	Efficient implementation of mutual exclusion locks in large multiprocessors. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	mutual exclusion locks, large multiprocessors, hot-spot contention, tree of locks, data structures, distributed algorithms, synchronization, concurrency control, multiprocessors, mutual exclusion, multistage interconnection networks, contention, rings, critical sections
4	Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	token-based distributed mutualexclusion algorithms, tree-based distributed mutual exclusion algorithms, permission-based mutual exclusion algorithms, rooted tree structure, informationstructure, topology requirements, distributed algorithms, distributed algorithms, topology, tree data structures, generic algorithm
3	Danny Hendler, Philipp Woelfel	Adaptive randomized mutual exclusion in sub-logarithmic expected time.	PODC	2010	DBLP DOI BibTeX RDF	rmrs, adaptive, distributed algorithms, mutual exclusion, remote memory references
3	Abhishek Swaroop, Awadhesh Kumar Singh	A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems.	ICDCN	2009	DBLP DOI BibTeX RDF	Cluster, Concurrency, Fairness, Group mutual exclusion
3	Maurício Paletta, Pilar Herrero	A Token-Based Mutual Exclusion Approach to Improve Collaboration in Distributed Environments.	ICCCI	2009	DBLP DOI BibTeX RDF	multi-agent system, Collaboration, mutual exclusion, distributed environment
3	Syed Sajjad Rizvi, Hemen Patel, Khaled M. Elleithy	Parallel and distributed algorithms and implementations: time based mutual exclusion.	SpringSim	2009	DBLP DOI BibTeX RDF	time based mutual exclusion, distributed algorithms, parallel systems
3	Jurek Czyzowicz, Leszek Gasieniec, Dariusz R. Kowalski, Andrzej Pelc	Consensus and Mutual Exclusion in a Multiple Access Channel.	DISC	2009	DBLP DOI BibTeX RDF	consensus, collision detection, mutual exclusion, multiple access channel
3	Danny Hendler, Philipp Woelfel	Randomized mutual exclusion in O(log N / log log N) RMRs.	PODC	2009	DBLP DOI BibTeX RDF	remote memory references (RMRS), mutual exclusion
3	Srinivasan Ramasubramanian, Amit Chandak	Dual-link failure resiliency through backup link mutual exclusion.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	backup link mutual exclusion, dual-link failures, optical networks, link protection
3	Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry	Verification of a Hierarchical Generic Mutual Exclusion Algorithm.	FORTE	2008	DBLP DOI BibTeX RDF	model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets
3	Md. Abdur Razzaque, Choong Seon Hong	Multi-Token Distributed Mutual Exclusion Algorithm.	AINA	2008	DBLP DOI BibTeX RDF	Distributed Algorithm, Mutual Exclusion, Critical Section, Token Ring
3	Hagit Attiya, Danny Hendler, Philipp Woelfel	Tight rmr lower bounds for mutual exclusion and other problems.	STOC	2008	DBLP DOI BibTeX RDF	bounded counter, lower-bound techniques, store/collect object, information theory, shared-memory, mutual exclusion
3	Yong-Jik Kim, James H. Anderson	Adaptive mutual exclusion with local spinning.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning
3	Weigang Wu, Jiannong Cao, Michel Raynal	A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs.	MSN	2007	DBLP DOI BibTeX RDF	Token Loss, Mobile Computing, MANET, Distributed Algorithm, Mutual Exclusion
3	Julien Sopena, Fabrice Legond-Aubry, Luciana Bezerra Arantes, Pierre Sens	A Composition Approach to Mutual Exclusion Algorithms for Grid Applications.	ICPP	2007	DBLP DOI BibTeX RDF	distributed mutual exclusion algorithm, performance evaluation, Grid
3	Peng Li, Haisang Wu, Binoy Ravindran, E. Douglas Jensen	A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	resource dependency, resource management, Real-time scheduling, mutual exclusion, time/utility functions, overload management, utility accrual scheduling
3	Frédéric Gardi	Mutual exclusion scheduling with interval graphs or related classes: Complexity and algorithms.	4OR	2006	DBLP DOI BibTeX RDF	Mutual exclusion scheduling, workforce planning, graph classes, graph coloring, interval graphs
3	Yong-Jik Kim, James H. Anderson	Nonatomic mutual exclusion with local spinning.	Distributed Computing	2006	DBLP DOI BibTeX RDF	Nonatomic operations, Lower bounds, Shared memory, Time complexity, Mutual exclusion
3	Rui Fan, Nancy A. Lynch	An Omega (n log n) lower bound on the cost of mutual exclusion.	PODC	2006	DBLP DOI BibTeX RDF	lower bound techniques, information theory, time complexity, mutual exclusion
3	Sukhendu Kanrar, Nabendu Chaki	Modified Raymond's Algorithm for Priority (MRA-P) Based Mutual Exclusion in Distributed Systems.	ICDCIT	2006	DBLP DOI BibTeX RDF	Token based algorithm, Fairness, Priority, Critical Section, Distributed mutual exclusion
3	Takashi Harada, Masafumi Yamashita	Transversal Merge Operation: A Nondominated Coterie Construction Method for Distributed Mutual Exclusion.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	grid structures, nondominatedness, distributed systems, Coteries, transversals, quorum consensus, mutual exclusion algorithms
3	Federico Meza, Jorge Pérez R., Yadran Eterovic	Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach.	ISSADS	2005	DBLP DOI BibTeX RDF	parallel programming, multithreading, concurrent programming, distributed shared memory, Distributed mutual exclusion
3	Christian Attiogbé	A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Mutual Exclusion, Event B, Parallel Composition
3	Mahfoud Benchaïba, Abdelmadjid Bouabdallah, Nadjib Badache, Mohamed Ahmed-Nacer	Distributed mutual exclusion algorithms in mobile ad hoc networks: an overview.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	algorithm, mobile ad hoc network, mutual exclusion, critical section
3	Romain Mellier, Jean Frédéric Myoupo, Vlady Ravelomanana	A Non-Token-Based-Distributed Mutual Exclusion Algorithm for Single-Hop Mobile Ad Hoc Networks.	MWCN	2004	DBLP DOI BibTeX RDF	Ad Hoc Mobile Networks, Wireless Networks, Mutual Exclusion
3	Masaru Takesue	A Model of Pipelined Mutual Exclusion on Cache-Coherent Multiprocessors.	Euro-Par	2003	DBLP DOI BibTeX RDF	Models, pipelining, mutual exclusion
3	Dan Liu, Xinsong Liu, Zhijie Qiu, Gongjun Yan	A High Efficiency Distributed Mutual Exclusion Algorithm.	APPT	2003	DBLP DOI BibTeX RDF	read/write clock stamp, self-stability, distributed mutual exclusion
3	James H. Anderson, Yong-Jik Kim	An improved lower bound for the time complexity of mutual exclusion.	Distributed Computing	2002	DBLP DOI BibTeX RDF	Lower bounds, Shared memory, Time complexity, Mutual exclusion, Atomicity, Local spinning
3	Yu Chen, Jennifer L. Welch	Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks.	DIAL-M	2002	DBLP DOI BibTeX RDF	fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation
3	Roberto Baldoni, Antonino Virgillito, Roberto Petrassi	A distributed mutual exclusion algorithm for mobile ad-hoc networks.	ISCC	2002	DBLP DOI BibTeX RDF	token-based algorithms, distributed mutual exclusion, distributed synchronization
3	Yuh-Jzer Joung	The congenial talking philosophers problem in computer networks.	Distributed Computing	2002	DBLP DOI BibTeX RDF	Distributed algorithms, Resource allocation, Message passing, Mutual exclusion, Group mutual exclusion
3	Patrick Keane, Mark Moir	A Simple Local-Spin Group Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	scalable, synchronization, shared memory, Mutual exclusion, local spinning
3	Guohong Cao, Mukesh Singhal	A Delay-Optimal Quorum-Based Mutual Exclusion Algorithm for Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	fault tolerance, Quorum, distributed mutual exclusion, synchronization delay
3	James H. Anderson, Yong-Jik Kim	A new fast-path mechanism for mutual exclusion.	Distributed Computing	2001	DBLP DOI BibTeX RDF	Fast mutual exclusion, Read/write atomicity, Scalability, Shared memory, Local spinning
3	Sandeep Lodha, Ajay D. Kshemkalyani	A Fair Distributed Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	distributed system, Algorithm, concurrency, synchronization, fairness, mutual exclusion
3	Kia Makki, John Dell, Niki Pissinou, W. Melody Moh, Xiaohua Jia	Using Logical Rings to Solve the Distributed Mutual Exclusion Problem with Fault Tolerance Issues.	The Journal of Supercomputing	2000	DBLP DOI BibTeX RDF	distributed systems, distributed algorithms, communication networks, critical section, distributed mutual exclusion
3	Ted Herman	Superstabilizing Mutual Exclusion.	Distributed Computing	2000	DBLP DOI BibTeX RDF	Self-stabilization, Mutual exclusion, Fault-containment
3	Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.	DISC	2000	DBLP DOI BibTeX RDF	Local mutual exclusion, unfair daemon, transformer, self-stabilization
3	Jerzy Brzezinski, Dariusz Wawrzyniak	Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm.	ICDCS	2000	DBLP DOI BibTeX RDF	distributed shared memory, mutual exclusion, consistency models
3	Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno	Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	distributed systems, mutual exclusion, communication delay, Quorums, coteries
3	Jens Bæk Jørgensen, Lars Michael Kristensen	Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	Modelling and analysis of distributed systems, formal verification, symmetries, mutual exclusion, colored Petri nets, high-level Petri nets, state spaces, occurrence graphs
3	Frank Müller	Priority Inheritance and Ceilings for Distributed Mutual Exclusion. (PDF / PS)	IEEE Real-Time Systems Symposium	1999	DBLP DOI BibTeX RDF	Priority Ceiling, Distributed Systems, Real-Time Systems, Real-Time Scheduling, Mutual Exclusion, Priority Inversion, Priority Inheritance
3	Yoshihide Igarashi, Yasuaki Nishitani	Speedup of Lockout-Free Mutual Exclusion Algorithms.	ISPAN	1999	DBLP DOI BibTeX RDF	lockout-freedom, distributed systems, shared memory, mutual exclusion, concurrent computation, asynchronous processes
3	Ting-Lu Huang	Fast and Fair Mutual Exclusion for Shared Memory Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	atomic instructions memory contention, concurrency, multiprocessors, fairness, mutual exclusion
3	Yih-Kuen Tsay	Deriving a Scalable Algorithm for Mutual Exclusion.	DISC	1998	DBLP DOI BibTeX RDF	read/write atomicity, scalability, refinement, mutual exclusion, local spins
3	Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun 0002	A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability.	ICDCS	1998	DBLP DOI BibTeX RDF	fault-tolerance, Quorum, distributed mutual exclusion, synchronization delay
3	Shiwa S. Fu, Nian-Feng Tzeng	A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	Circular lists, hot-spot contention, tree of locks, multiprocessors, mutual exclusion, critical sections, linked lists
3	Vinaya Revannaswamy, P. C. P. Bhatt	A Fault Tolerant Protocol As an Extension to a Distributed Mutual Exclusion Algorithm. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	fault tolerance, distributed algorithms, Computer networks, mutual exclusion, critical section, network partitioning, token passing
3	Theodore Johnson	A performance comparison of fast distributed mutual exclusion algorithms. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	O(log n) messages, distributed virtual memory, computational complexity, distributed algorithms, distributed algorithms, software performance evaluation, performance comparison, distributed object systems, distributed synchronization, mutual exclusion algorithms, coherent caches
3	Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis	On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed quorum attainment protocols, unified analytical model, Majority Consensus algorithms, primary site approach, parallel version, tree-based mutual exclusion protocols, fault tolerance, performability, distributed systems, performance analysis, protocols, distributed algorithms, software performance evaluation, software fault tolerance, performability metric, network delay, unified framework, protocol performance, delay analysis, mutual exclusion algorithms
3	Marc-Michel Corsini, Alain Griffault, Antoine Rauzy	Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.	LPAR	1993	DBLP DOI BibTeX RDF	Key-words Constraints Languages, Transition Systems, calculus, Mutual Exclusion Algorithms
3	Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen	An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem
3	Mukesh Singhal	A Dynamic Information-Structure Mutual Exclusion Algorithm for Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	dynamic information-structure, trafficconditions, impact message loss, site failures, distributed systems, distributed processing, mutual exclusion algorithm
3	Rajeev Chawla	A distributed mutual exclusion solution derived from real-life examples.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	sychronization, distributed system, deadlock, mutual exclusion, critical section, starvation, information structure
3	Vijay Kumar, Jerry Place, Gi-Chul Yang	An Efficient Algorithm for Mutual Exclusion Using Queue Migration in Computer Networks.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	queue migration, nonsymmetric deadlock-free mutual exclusion algorithm, lightly loaded system, performance evaluation, performance, computer networks, computer networks, queueing theory, network topology, mutual exclusion, network operating systems
3	Shojiro Nishio, Kin F. Li, Eric G. Manning	A Resilient Mutual Exclusion Algorithm for Computer Networks.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	resilient mutual exclusion algorithm, communication controller failure, communication link failure, computer networks, computer networks, processor failure, network failure
3	Mohamed Naimi, Michel Trehel	How to Detect a Failure and Regenerate the Token in the Log(N) Distributed Algorithm for Mutual Exclusion.	WDAG	1987	DBLP DOI BibTeX RDF	node election, fault-tolerance, Distributed algorithm, mutual exclusion, node failure
2	Jurek Czyzowicz, Leszek Gasieniec, Dariusz R. Kowalski, Andrzej Pelc	Consensus and Mutual Exclusion in a Multiple Access Channel.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	Consensus, collision detection, mutual exclusion, multiple access channel
2	Vibhor Bhatt, Prasad Jayanti	Constant RMR solutions to reader writer synchronization.	PODC	2010	DBLP DOI BibTeX RDF	reader-writer lock, remote memory reference (rmr), synchronization, mutual exclusion
2	Robert Danek	The k-bakery: local-spin k-exclusion using non-atomic reads and writes.	PODC	2010	DBLP DOI BibTeX RDF	k-exclusion, safe registers, shared memory, mutual exclusion, remote memory references
2	Alex A. Aravind, Wim H. Hesselink	A queue based mutual exclusion algorithm.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Paolo Romano, Luís Rodrigues, Nuno Carvalho	The Weak Mutual Exclusion problem.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Vibhor Bhatt, Prasad Jayanti	On the Existence of Weakest Failure Detectors for Mutual Exclusion and k-Exclusion.	DISC	2009	DBLP DOI BibTeX RDF
2	Michiko Inoue, Tsuyoshi Suzuki, Hideo Fujiwara	Brief Announcement: Acceleration by Contention for Shared Memory Mutual Exclusion Algorithms.	DISC	2009	DBLP DOI BibTeX RDF
2	Jean Frédéric Myoupo, Mohamed Naimi, Ousmane Thiare	A clustering Group Mutual Exclusion algorithm for mobile ad hoc networks.	ISCC	2009	DBLP DOI BibTeX RDF
2	Vibhor Bhatt, Nicholas Christman, Prasad Jayanti	Extracting quorum failure detectors.	PODC	2009	DBLP DOI BibTeX RDF	fault tolerance, mutual exclusion, asynchronous system, failure detector
2	Srikanth Sastry, Scott M. Pike, Jennifer L. Welch	The weakest failure detector for wait-free dining under eventual weak exclusion.	SPAA	2009	DBLP DOI BibTeX RDF	mutual exclusion, failure detectors, wait-freedom, partial synchrony, dining philosophers
2	Jun Kiniwa, Kensaku Kikuta	Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler.	SSS	2009	DBLP DOI BibTeX RDF	safety under convergence, intentional fault model, multistage two-person zero sum game, game theory, self-stabilization, mutual exclusion, unfair scheduler
2	Hirotsugu Kakugawa, Sayaka Kamei, Toshimitsu Masuzawa	A Token-Based Distributed Group Mutual Exclusion Algorithm with Quorums.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
2	Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens	The Impact of Clustering on Token-Based Mutual Exclusion Algorithms.	Euro-Par	2008	DBLP DOI BibTeX RDF
2	Gudrun Klinker	SudokuVis How to Explore Relationships of Mutual Exclusion.	ISVC	2008	DBLP DOI BibTeX RDF
2	Gal Katz, Doron Peled	Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.	TACAS	2008	DBLP DOI BibTeX RDF
2	Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard	Semantics of transactional memory and automatic mutual exclusion.	POPL	2008	DBLP DOI BibTeX RDF	STM, transactional memory, operational semantics
2	Gal Katz, Doron Peled	Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.	ATVA	2008	DBLP DOI BibTeX RDF
2	Xiaohui Cheng, Yongjian Hu, Youmin Gong	Design Methodology of Control System with Mutual Exclusion.	PACIIA	2008	DBLP DOI BibTeX RDF	FPGA, Mutual Exclusion, Control System, Hardware/software Partition, Hardware/software Co-design, Configurable Logics
2	Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks	On the Performance of Beauquier and Debas' Self-stabilizing Algorithm for Mutual Exclusion.	SIROCCO	2008	DBLP DOI BibTeX RDF
2	Robert Danek, Wojciech M. Golab	Closing the Complexity Gap between FCFS Mutual Exclusion and Mutual Exclusion.	DISC	2008	DBLP DOI BibTeX RDF
2	Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks	A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring.	DISC	2008	DBLP DOI BibTeX RDF
2	Robert Danek, Hyonho Lee	Brief Announcement: Local-Spin Algorithms for Abortable Mutual Exclusion and Related Problems.	DISC	2008	DBLP DOI BibTeX RDF
2	Sukhendu Kanrar, Sankhayan Choudhury, Nabendu Chaki	A Link-failure Resilient Token based Mutual Exclusion Algorithm for Directed Graph Topology.	ISPDC	2008	DBLP DOI BibTeX RDF
2	Mathieu Bouillaguet, Luciana Arantes, Pierre Sens	Fault Tolerant K-Mutual Exclusion Algorithm Using Failure Detector.	ISPDC	2008	DBLP DOI BibTeX RDF
2	Martín Abadi	Automatic Mutual Exclusion and Atomicity Checks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Vijay Anand Reddy, Prateek Mittal, Indranil Gupta	Fair K Mutual Exclusion Algorithm for Peer to Peer Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
2	Hagit Attiya, Alex Kogan, Jennifer L. Welch	Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks.	ICDCS	2008	DBLP DOI BibTeX RDF
2	Gurdip Singh, Ye Su	Efficient Synchronization in Message Passing Systems.	AINA	2008	DBLP DOI BibTeX RDF	Synchronization, Message passing, Mutual Exclusion
2	Kazuhiro Ogata, Kokichi Futatsugi	Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.	ICFEM	2008	DBLP DOI BibTeX RDF	observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ
2	Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore	Local Synchronization on Oriented Rings.	SSS	2008	DBLP DOI BibTeX RDF	Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization
2	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	On the correctness issues in two-process mutual exclusion algorithms.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
2	Chun Cao, Jiannong Cao, Xiaoxing Ma, Jian Lü	A Mutual Exclusion Algorithm for Mobile Agents-Based Applications.	ISPA	2007	DBLP DOI BibTeX RDF
2	Pavel Surynek	A Global Filtration for Satisfying Goals in Mutual Exclusion Networks.	CSCLP	2007	DBLP DOI BibTeX RDF	global filtration, mutual exclusion network, search
2	Selma Ikiz, Alper Sen	Runtime Verification of k-Mutual Exclusion for SoCs.	MTV	2007	DBLP DOI BibTeX RDF