Ajoy K. Datta

Theor. Comput. Sci., 2019

Self-stabilizing robots in highly dynamic environments.

[BibT_eX]

[DOI]

Marjorie Bournat

Swan Dubois

Theor. Comput. Sci., 2019

Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree.

[BibT_eX]

[DOI]

CoRR, 2019

Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study.

[BibT_eX]

[DOI]

Duong N. Nguyen

Sandeep S. Kulkarni

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

Constant Space Self-stabilizing Center Finding Algorithms in Chains and Trees.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2018

Self-Stabilizing Leader Election in Dynamic Networks.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2018

Concurrent Lock-Free Unbounded Priority Queue with Mutable Priorities.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Brief Announcement: Feasibility of Weak Gathering in Connected-over-Time Dynamic Rings.

[BibT_eX]

[DOI]

Fukuhito Ooshita

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Constant-Space Self-stabilizing Token Distribution in Trees.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2018

Self-Stabilizing Token Distribution with Constant-Space for Trees.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Self-stabilizing silent disjunction in an anonymous network.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2017

Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Self-stabilizing Rendezvous of Synchronous Mobile Agents in Graphs.

[BibT_eX]

[DOI]

Fukuhito Ooshita

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Leader Election in Asymmetric Labeled Unidirectional Rings.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

A Self-Stabilizing Minimal k-Grouping Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

2016

Competitive self-stabilizing k-clustering.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

The expressive power of snap-stabilization.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Self-Stabilizing Prefix Tree Based Overlay Networks.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2016

Leader Election in Rings with Bounded Multiplicity (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

The Same Speed Timer in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

2015

Self-stabilizing (f, g)-alliances with safe convergence.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2015

Maximum Matching for Anonymous Trees with Constant Space per Process.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Enabling Ring Exploration with Myopic Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Constant Space Self-Stabilizing Center Finding in Anonymous Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Self-Stabilizing ℓ-Exclusion Revisited.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

2014

CPU Scheduling for Power/Energy Management on Multicore Processors Using Cache Miss and Context Switch Data.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

A Communication-Efficient Self-stabilizing Algorithm for Breadth-First Search Trees.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

2013

Self-stabilizing labeling and ranking in ordered trees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Self-Stabilizing Small k-Dominating Sets.

[BibT_eX]

[DOI]

Int. J. Netw. Comput., 2013

Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Leader Election and Centers and Medians in Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Ring Exploration with Oblivious Myopic Robots.

[BibT_eX]

[DOI]

Proceedings of the SAFECOMP 2013, 2013

Ring Exploration by Oblivious Agents with Local Vision.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Fast Leader (Full) Recovery Despite Dynamic Faults.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

Linear Time Distributed Swap Edge Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Complexity, 8th International Conference, 2013

2012

Algorithme autostabilisant construisant un petit ensemble k-dominant.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2012

Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011

Self-stabilizing minimum connected covers of query regions in sensor networks.

[BibT_eX]

[DOI]

Maria Gradinariu Potop-Butucaru

Ai Yamazaki

Wirel. Commun. Mob. Comput., 2011

Un algorithme autostabilisant pour le problème du K-partitionnement sur graphe pondéré.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2011

Stabilization, Safety, and Security of Distributed Systems (SSS 2009).

[BibT_eX]

[DOI]

Franck Petit

Rachid Guerraoui

Theor. Comput. Sci., 2011

Self-stabilizing leader election in optimal space under an arbitrary scheduler.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

An O(n)-time self-stabilizing leader election algorithm.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2011

Self-Stabilizing k-out-of-ℓ Exclusion in Tree Networks.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

Brief Announcement: A Stable and Robust Membership Protocol.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Brief Announcement: Sorting on Skip Chains.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Self-stabilizing Hierarchical Construction of Bounded Size Clusters.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2011

On-Line Optimization of Publish/Subscribe Overlays.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Multi-resource Allocation with Unknown Participants.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Networking and Computing, 2011

Sorting on Skip Chains.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

Efficient Broadcasting in MANETs by Selective Forwarding.

[BibT_eX]

[DOI]

Balaji Ashok Sathyanarayanan

Scalable Comput. Pract. Exp., 2010

A self-stabilizing k-clustering algorithm for weighted graphs.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2010

A Self-Stabilizing O(k)-Time k-Clustering Algorithm.

[BibT_eX]

[DOI]

Comput. J., 2010

Self-stabilizing Leader Election in Dynamic Networks.

[BibT_eX]

[DOI]

Hema Piniganti

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

2009

A Self-Stabilizing O(n)-Round k-Clustering Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Self-Stabilizing k-out-of-l exclusion on tree networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Efficient Broadcasting by Selective Forwarding.

[BibT_eX]

[DOI]

Balaji Ashok Sathyanarayanan

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Impact of Variable Transmission Range in All-Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

A Self-stabilizing K-Clustering Algorithm Using an Arbitrary Metric.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

2008

Introduction to special issue on stabilization, safety, and security of distributed systems.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2008

A Link-cluster Route Discovery Protocol for Ad Hoc Networks.

[BibT_eX]

[DOI]

Shashirekha Yellenki

Scalable Comput. Pract. Exp., 2008

Space efficient and time optimal distributed BFS tree construction.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2008

Synchronization Algorithms on Oriented Chains.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2008

Self-stabilizing K-out-of-L exclusion on tree network

[BibT_eX]

[DOI]

CoRR, 2008

Self-Stabilizing Leader Election in Optimal Space.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

Local Synchronization on Oriented Rings.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

Self-stabilizing algorithms for sorting and heapification.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Snap-stabilization and PIF in tree networks.

[BibT_eX]

[DOI]

Distributed Comput., 2007

Self-Stabilizing Local Routing in Ad Hoc Networks.

[BibT_eX]

[DOI]

Comput. J., 2007

An Optimal Snap-Stabilizing Multi-Wave Algorithm.

[BibT_eX]

[DOI]

Mehmet Hakan Karaata

Comput. J., 2007

Self* Minimum Connected Covers of Query Regions in Sensor Networks.

[BibT_eX]

[DOI]

Maria Gradinariu Potop-Butucaru

Ai Yamazaki

Proceedings of the Stabilization, 2007

Cluster-Based Route Discovery Protocol.

[BibT_eX]

[DOI]

Shashirekha Yellenki

Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Stabilizing Peer-to-Peer Spatial Filters.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007).

[BibT_eX]

[DOI]

Paul D. Ezhilchelvan

Michel Raynal

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Self-* Distributed Query Region Covering in Sensor Networks.

[BibT_eX]

[DOI]

Preethi Linga

Philippe Raipin Parvédy

J. Aerosp. Comput. Inf. Commun., 2006

On Self-stabilizing Search Trees.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Self-stabilizing Space Optimal Synchronization Algorithms on Trees.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2006

Self* Architecture for Trajectory Tracking in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Deterministic delta-Connected Overlay for Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Antonino Virgillito

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

A Semantic Overlay for Self- Peer-to-Peer Publish/Subscribe.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

2005

Randomized dynamic route maintenance for adaptive routing in multihop mobile ad hoc networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2005

Optimal snap-stabilizing PIF algorithms in un-oriented trees.

[BibT_eX]

[DOI]

J. High Speed Networks, 2005

Stabilizing inter-domain routing in the Internet.

[BibT_eX]

[DOI]

Yu Chen

J. High Speed Networks, 2005

Stabilizing mobile philosophers.

[BibT_eX]

[DOI]

Michel Raynal

Inf. Process. Lett., 2005

Group Mutual Exclusion in Token Rings.

[BibT_eX]

[DOI]

Comput. J., 2005

Snap-Stabilizing Optimal Binary Search Tree.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 2005

Distributed Self-Minimum Connected Covering of a Query Region in Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

Self-Stablizing Pivot Interval Routing in General Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

A Self-stabilizing Link-Cluster Algorithm in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Chakradhar R. Jagganagari

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

Self-Stabilizing Optimal Local Routing in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

An Optimal Snap-Stabilizing Multi-Wave Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Snap-Stabilizing k-Wave Synchronizer.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2005

2004

Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.

[BibT_eX]

[DOI]

Comput. J., 2004

A Self-Stabilizing Directed Diffusion Protocol for Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 2004

Self-Organizing Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2004

2003

Self-Stabilizing Wormhole Routing on Ring Networks.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2003

Group Mutual Exclusin in Tree Networks.

[BibT_eX]

[DOI]

Joffroy Beauquier

Sébastien Cantarell

J. Inf. Sci. Eng., 2003

A self-stabilizing token-based k-out-of- exclusion algorithm.

[BibT_eX]

[DOI]

Rachid Hadid

Concurr. Comput. Pract. Exp., 2003

A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings.

[BibT_eX]

[DOI]

Rachid Hadid

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.

[BibT_eX]

[DOI]

Sébastien Cantarell

Franck Petit

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

Anonymous Publish/Subscribe in P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Enabling Snap-Stabilizatio.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2002

Special Issue on Self-Stabilizing Distributed Systems - Guest Editors' Introduction.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Self-Stabilizing Deterministic Network Decomposition.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2002

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.

[BibT_eX]

[DOI]

Chic. J. Theor. Comput. Sci., 2002

Publish/subscribe scheme for mobile networks.

[BibT_eX]

[DOI]

Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

Group Mutual Exclusion In Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Snap-Stabilizing PIF Algorithm in Arbitrary Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

A Self-stabilizing Token-Based k-out-of-l Exclusion Algorithm.

[BibT_eX]

[DOI]

Rachid Hadid

Proceedings of the Euro-Par 2002, 2002

Stabilizing Inter-domain Routing in the Internet (Research Note).

[BibT_eX]

[DOI]

Yu Chen

Proceedings of the Euro-Par 2002, 2002

2001

Self-Stabilizing Network Orientation Algorithms In Arbitrary Rooted Networks.

[BibT_eX]

[DOI]

Shivashankar Gurumurthy

Franck Petit

Stud. Inform. Univ., 2001

Implementation of a Virtual Time Synchronizer for Distributed Databases on a Cluster of Workstations.

[BibT_eX]

[DOI]

Parallel Distributed Comput. Pract., 2001

Self-stabilizing distributed sorting in tree networks.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2001

Randomized Mobile Agent Based Routing in Wireless Networks.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2001

Optimal Snap-Stabilizing PIF in Un-Oriented Trees.

[BibT_eX]

Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Token Based Group Mutual Exclusion for Asynchronous Rings.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Stabilizing Hierarchical Routing.

[BibT_eX]

[DOI]

J. Interconnect. Networks, 2000

Self-stabilizing depth-first token circulation in arbitrary rooted networks.

[BibT_eX]

[DOI]

Distributed Comput., 2000

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999

Self-Stabilizing Algorithms in DAG Structured Networks.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1999

State-optimal snap-stabilizing PIF in tree networks.

[BibT_eX]

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Self-stabilizing census with cut-through constraint.

[BibT_eX]

Joffroy Beauquier

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Optimal PIF in Tree Networks.

[BibT_eX]

Proceedings of the Distributed Data & Structures 2, 1999

Snpa-Stabilizing PIF Algorithm in Trees.

[BibT_eX]

Proceedings of the SIROCCO'99, 1999

Randomized Adaptive Routing Based on Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

Implementation of a Virtual Time Synchronizer for Distributed Databases.

[BibT_eX]

[DOI]

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Space optimal PIF algorithm: self-stabilized with no extra space.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

Self-Stabilizing Neighborhood Synchronizer in Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Self-Stabilizing Network Decomposition.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 1999

1998

Self-Stabilizing Algorithms for Tree Metrics.

[BibT_eX]

[DOI]

Teofilo F. Gonzalez

Visalakshi Thiagarajan

Parallel Process. Lett., 1998

Self-Stabilization with Global Rooted Synchronizers.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Virtual Time Synchronization in Distributed Database Systems Using a Cluster of Workstations.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

Self-Stabilizing Depth-First Token Passing on Rooted Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996

Almost two-state self-stabilizing algorithm for token rings.

[BibT_eX]

[DOI]

Gianluigi Alari

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

Implementing string-to-string correction and longest common subsequence problems on the Sequent Symmetry multiprocessor.

[BibT_eX]

[DOI]

Surendra Pothuru

Proceedings of the 3rd International Conference on High Performance Computing, 1996

1995

Self-Stabilizing Multi-Token Rings.

[BibT_eX]

[DOI]

Anneke A. Schoone

Distributed Comput., 1995

1994

Two-State Self-Stabilizing Algorithms for Token Rings.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

1993

Self-Stablizing Fault Location.

[BibT_eX]

Proceedings of the Computing and Information, 1993

1992

Distributed Deadlock Detection Algorithms.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1992

Two-State Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 6th International Parallel Processing Symposium, 1992

Simulation of self-stabilizing algorithms in distributed systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 25th Annual Simulation Symposium (ANSS-25 1992), 1992

Self-stabilizing Deadlock Detection Algorithms.

[BibT_eX]

[DOI]

Proceedings of the ACM 20th Annual Conference on Computer Science, 1992

1991

Sharing Memory in Asynchronous Message Passing Systems.

[BibT_eX]

[DOI]

Oscar R. Anguilar

Proceedings of the Algorithms and Data Structures, 1991

1990

High-level Petri-net model for a resource-sharing problem.

[BibT_eX]

[DOI]

Inf. Sci., 1990

1988

Two-Phase Deadlock Detection Algorithm.

[BibT_eX]

[DOI]

Ahmed K. Elmagarmid

IEEE Trans. Computers, 1988

A new algorithm for deadlock avoidance.

[BibT_eX]

[DOI]

Tair-Shian Chou

Inf. Sci., 1988

Deadlock-Avoidance Mechanisms in Distributed Systems.

[BibT_eX]

Comput. Syst. Sci. Eng., 1988

Pipelining and concurrency in graphics and image-processing applications.

[BibT_eX]

Comput. Syst. Sci. Eng., 1988

1986

Modular Synthesis of Deadlock-Free Control Structures.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1984

Synthesis of a Class of Deadlock-Free Petri Nets.

[BibT_eX]

[DOI]