yusuke1997/dblp-id-title huggingface dataset:
A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era
Dynamically Reconfigurable Filtering Architectures
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems
Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems
Leader Election in Rings with Bounded Multiplicity (Short Paper)
Self* Minimum Connected Covers of Query Regions in Sensor Networks
Scalable Byzantine Agreement with a Random Beacon
Flexible Scheduling of Transactional Memory on Trees
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms
The Limits of Helping in Non-volatile Memory Data Structures
Consensus Through Knot Discovery in Asynchronous Dynamic Networks
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems
Self-stabilizing Robots in Highly Dynamic Environments
Asynchronous Silent Programmable Matter: Line Formation
Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees
Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens
Self-stabilizing Distributed Data Fusion
Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents
Selective Population Protocols
Where Are the Constants? New Insights on the Role of Round Constant Addition in the SymSum Distinguisher
Brief Announcement: On the Impact of Unlimited Computational Power in 풪: Consequences for Synchronous Robots on Graphs
Naming and Counting in Anonymous Unknown Dynamic Networks
Optimal Asynchronous Perpetual Grid Exploration
Distributed Reconfiguration of Spanning Trees
"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses
Message Delivery in the Plane by Robots with Different Speeds
Invited Paper: The Smart Contract Model
Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
Self-protection for Distributed Component-Based Applications
Self-adaptive Disk Arrays
SMT-Based Synthesis of Distributed Self-stabilizing Systems
Edge Coloring Despite Transient and Permanent Faults
Role-Based Self-configuration of Sensor Networks
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
Partially Disjoint Shortest Paths and Near-Shortest Paths Trees
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters
Space-Efficient Fault-Containment in Dynamic Networks
Arbitrary Pattern Formation with Four Robots
Round-Oblivious Stabilizing Consensus in Dynamic Networks
Making Local Algorithms Wait-Free: The Case of Ring Coloring
Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
Brief Announcement: Leader Election in the ADD Communication Model
On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game
Beyond Pairwise Comparisons: Unveiling Structural Landscape of Mobile Robot Models
Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks
Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping
Invited Paper: Gathering Oblivious Robots in the Plane
Nash Equilibria in Stabilizing Systems
Brief Announcement: PQ-STAR Post-Quantum Stateless Auditable Rekeying
Local Synchronization on Oriented Rings
Brief Announcement: How to Overcome the Limits of Bounds
Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks
Brief Announcement: The Steiner Shortest Path Tree Problem
Tight Bounds for Constant-Round Domination on Graphs of High Girth and Low Expansion
Reaching Approximate Byzantine Consensus with Multi-hop Communication
Self-synchronized Cooperative Beamforming in Ad-Hoc Networks
Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings
Anomaly Detection Within Mission-Critical Call Processing
Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
Speculation for Parallelizing Runtime Checks
Extending Lattice Linearity for Self-stabilizing Algorithms
Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software
Brief Announcement: Searching for an Eventually-Emerging Black Hole in Rings
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud
An Improved Snap-Stabilizing PIF Algorithm
Separation of Unconscious Colored Robots
Acyclic Strategy for Silent Self-stabilization in Spanning Forests
Generating the Convergence Stairs of the Collatz Program
Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs
A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks
The Dynamics and Stability of Probabilistic Population Processes
Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings
The South Zone: Distributed Algorithms for Alliances
Toward a Time-Optimal Odd Phase Clock Unison in Trees
Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures
PSVR - Self-stabilizing Publish/Subscribe Communication for Ad-Hoc Networks (Short Paper)
Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem
Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency
Invited Paper: On the Equivalence of Snapshot/Append Objects and Broadcast Abstractions under Byzantine Failures
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
Self-stabilizing Distributed Stable Marriage
Invited Paper: How Do Humans Succeed in Tasks Like Proving Fermat's Theorem or Predicting the Higgs Boson?
Storage Capacity of Labeled Graphs
Gathering of Robots in Butterfly Networks
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]
Upper Bounds for Stabilization in Acyclic Preference-Based Systems
Safe Flocking in Spite of Actuator Faults
Functional Encryption for Cascade Automata (Extended Abstract)
Silent MST Approximation for Tiny Memory
Optimistic Fair Exchange Using Trusted Devices
Knowledge-Guided Machine Learning for Stabilizing Near-Shortest Path Routing
Snap-Stabilizing Tasks in Anonymous Networks
Self-Stabilizing Algorithms for {k}-Domination
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection
Evaluation of a Tracking Architecture in Wireless Sensor Networks
Packet Efficient Implementation of the Omega Failure Detector
Brief Announcement: The Design and Evaluation of a Distributed Reliable File System
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)
Linearizing Peer-to-Peer Systems with Oracles
Bitcoin a Distributed Shared Register
On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks
The K-Observer Problem in Computer Networks
Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol
Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings
Pharewell to Phishing
Probabilistic Fault-Containment
A O(\log n) Distributed Algorithm to Construct Routing Structures for Pub/Sub Systems - Regular Submission
Brief Announcement: Mutually-Visible Uniform Circle Formation by Asynchronous Mobile Robots on Grid Plane
Self-stabilizing Metric Graphs
Brief Announcements: Verifiable Data Sharing in Distributed Computing
Robust Stabilizing Leader Election
Vulnerability Analysis of High Dimensional Complex Systems
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
Flocking with Oblivious Robots
Stabilization of Max-Min Fair Networks without Per-flow State
Location Functions for Self-stabilizing Byzantine Tolerant Swarms
Relocation Analysis of Stabilizing MAC
Energy-Efficient and Non-interactive Self-certification in MANETs
Infinite Unlimited Churn (Short Paper)
Efficient Robust Storage Using Secret Tokens
Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems
Invited Paper: Distributed Rhombus Formation of Sliding Squares
An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults
A Dependable Intrusion Detection Architecture Based on Agreement Services
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
Ant-Inspired Dynamic Task Allocation via Gossiping
Self-stabilizing Byzantine-Tolerant Recycling
BlindexTEE: A Blind Index Approach Towards TEE-Supported End-to-End Encrypted DBMS
Improved-Zigzag: An Improved Local-Information-Based Self-optimizing Routing Algorithm in Virtual Grid Networks
Robot Networks with Homonyms: The Case of Patterns Formation
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links
Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings
Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings
A Comparative Study of Rateless Codes for P2P Persistent Storage
Gathering in Non-vertex-Transitive Graphs Under Round Robin
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation
The Truth System: Can a System of Lying Processes Stabilize?
The Fence Complexity of Persistent Sets
The Implication Problem of Computing Policies
Verifying Livelock Freedom on Parameterized Rings and Chains
Deterministic Causal Order Under Byzantine Sybil Tolerance: Techniques and Limitations
Self-stabilization Preserving Compiler
Brief Announcement: On the Hardness of Topology Inference
Untangling Partial Agreement: Iterated x-consensus Simulations
Card-Based ZKP Protocol for Nurimisaki
Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE
Post-quantum Secure Stateful Deterministic Wallet from Code-Based Signature Featuring Uniquely Rerandomized Keys
Stand Up Indulgent Rendezvous
Efficient Self-stabilizing Graph Searching in Tree Networks
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems
A Self-stabilizing Algorithm for Edge Monitoring Problem
A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings
Randomization Adaptive Self-stabilization
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
Self-stabilizing Overlays for High-Dimensional Monotonic Searchability
Arcane Information, Solving Relations, and Church Censorship
Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming
Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous Systems
An Optimal Algorithm for Geodesic Mutual Visibility on Hexagonal Grids
Brief Announcement: An OS Architecture for Device Self-protection
Analyzing Convergence and Reachability of Asynchronous Iterations
Brief Announcement: Federated Code Auditing and Delivery for MPC
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion
On Security Analysis of Proof-of-Elapsed-Time (PoET)
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks
Snap-Stabilizing Linear Message Forwarding
On Gathering of Semi-synchronous Robots in Graphs
Proof-Labeling Schemes: Broadcast, Unicast and in Between
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model
Ring Exploration of Myopic Luminous Robots with Visibility More Than One
Local Algorithms: Self-stabilization on Speed
A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems
Incremental Synthesis of Fault-Tolerant Real-Time Programs
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction
Universal Model Simulation: BG and Extended BG as Examples
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication
Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety
Scalable Estimation of Network Average Degree
Fault-Induced Dynamics of Oblivious Robots on a Line
Constructing Self-stabilizing Oscillators in Population Protocols
Uniform Circle Formation for Swarms of Opaque Robots with Lights
Time and Space-Optimal Silent Self-stabilizing Exact Majority in Population Protocols
Selfish Stabilization
Keynote: Resilient Distributed Computing on External Data
Brief Announcement: Consistent Fixed Points and Negative Gain
Invited Paper: Towards Demand-Aware Peer Selection with XOR-Based Routing
Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks
Global Versus Local Computations: Fast Computing with Identifiers (Short Paper)
Invited Paper: Cross-Chain State Machine Replication
Brief Announcement: Secure and Efficient Participant Authentication - Application to Mobile E-Voting
Concurrent Wait-Free Red Black Trees
Stationary and Deterministic Leader Election in Self-organizing Particle Systems
Brief Announcement: Self Masking for Hardening Inversions
A Wireless Security Framework without Shared Secrets
Fault-Containment in Weakly-Stabilizing Systems
Social Market: Combining Explicit and Implicit Social Networks
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
Counting the Number of Homonyms in Dynamic Networks
Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems
Active Stabilization
Self-adaptive Worms and Countermeasures
Simple and Fast Approximate Counting and Leader Election in Populations
Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET
Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction
Snake: Control Flow Distributed Software Transactional Memory
Asynchronous Proof-of-Stake
Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20
FoG: Fighting the Achilles' Heel of Gossip Protocols with Fountain Codes
Secure and Self-stabilizing Clock Synchronization in Sensor Networks
Complete Graph Identification in Population Protocols
Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective
Label Leakage in Regression Federated Learning Using Cryptographic Tools
Stability of Distributed Algorithms in the Face of Incessant Faults
Asynchronous Non-Bayesian Learning in the Presence of Crash Failures
Bounding the Impact of Unbounded Attacks in Stabilization
Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Information Exchange in the Russian Cards Problem
Synchronous vs. Asynchronous Unison
Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract)
Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems
Mitigating Internal, Stealthy DoS Attacks in Microservice Networks
Invited Paper: Using Signed Formulas for Online Certification
Reaching Consensus in the Presence of Contention-Related Crash Failures
On Optimal Doorway Egress by Autonomous Robots
Square Attacks on Reduced-Round FEA-1 and FEA-2
Concurrent Lock-Free Unbounded Priority Queue with Mutable Priorities
The Agreement Power of Disagreement
Invited Paper: A Survey of the Impact of Knowledge on the Competitive Ratio in Linear Search
Applications and Implications of a General Framework for Self-Stabilizing Overlay Networks
Invited Paper: Setchain Algorithms for Blockchain Scalability
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles
Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space
Hierarchical Identity-Based Inner Product Functional Encryption for Unbounded Hierarchical Depth
Tutorial Abstract Virtual Infrastructure
Delta-State JSON CRDT: Putting Collaboration on Solid Ground
Brief Announcement: Unique Permutation Hashing
Flat-Combining-Based Persistent Data Structures for Non-volatile Memory
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model
Searching with Increasing Speeds
Brief Announcement: Detecting Users' Connectivity on Online Social Networks
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems
Synchronous Counting and Computational Algorithm Design
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols
Gracefully Degrading Gathering in Dynamic Rings
Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
Deadlock and Noise in Self-Organized Aggregation Without Computation
A Theory of Fault Recovery for Component-Based Models
Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures
Load Balanced Distributed Directories
Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks
Brief Announcement: Cross-Chain Consensus
A Self-stabilizing Weighted Matching Algorithm
Brief Announcement: Understanding Self-stabilizing Node-Capacitated Overlay Networks Through Simulation
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks
Self-stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter
Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
Optimum Algorithm for Mutual Visibility Among Asynchronous Robots with Lights
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
Efficient Self-stabilizing Simulations of Energy-Restricted Mobile Robots by Asynchronous Luminous Mobile Robots
A Poly-log Approximation for Transaction Scheduling in Fog-Cloud Computing and Beyond
On Bootstrapping Topology Knowledge in Anonymous Networks
Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder
Dependable Decentralized Cooperation with the Help of Reliability Estimation
Safer Than Safe: On the Initial State of Self-stabilizing Systems
Improving the Hu-Toueg Construction of a Byzantine Linearizable SWMR Register
Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework
Circle Formation of Weak Mobile Robots
Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor
Robots with Lights: Overcoming Obstructed Visibility Without Colliding
Space-Time Trade-Off in Bounded Iterated Memory
Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks
Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
A Non-topological Proof for the Impossibility of k-Set Agreement
Cover Time in Edge-Uniform Stochastically-Evolving Graphs
Lower Bound for Constant-Size Local Certification
Model Checking of Distributed Algorithms Using Synchronous Programs
Self-stabilizing Byzantine Clock Synchronization with Optimal Precision
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
Minimum Algorithm Sizes for Self-stabilizing Gathering and Related Problems of Autonomous Mobile Robots (Extended Abstract)
Brief Announcement: Dynamic Graph Models for the Bitcoin P2P Network: Simulation Analysis for Expansion and Flooding Time
All-to-All Gradecast Using Coding with Byzantine Failures
Adaptive Versioning in Transactional Memories
Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity
Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho
Global Predicate Detection in Distributed Systems with Small Faults
Secure Communication for RFIDs Proactive Information Security Within Computational Security
On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks
Workflow Resilience for Mission Critical Systems
Separation of Circulating Tokens
Analysis of Computing Policies Using SAT Solvers (Short Paper)
Computing in Social Networks
A Snap-Stabilizing DFS with a Lower Space Requirement
Towards Automatic Convergence Verification of Self-stabilizing Algorithms
Adding Pull to Push Sum for Approximate Data Aggregation
Brief Announcement: Feasibility of Weak Gathering in Connected-over-Time Dynamic Rings
Brief Announcement: A Self-* and Persistent Hub Sampling Service
Optimal Protocols for 2-Party Contention Resolution
Robust Multi-agent Optimization: Coping with Byzantine Agents with Input Redundancy
Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers
Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks
Brief Announcement: Arbitrators in the Security Infrastructure
Recursion in Distributed Computing
Self-stabilizing Device Drivers
Robust Overlays Meet Blockchains - On Handling High Churn and Catastrophic Failures
Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks
Relays: A New Approach for the Finite Departure Problem in Overlay Networks
Brief Announcement: Efficient Probabilistic Approximations for Sign and Compare
Brief Announcement: Byzantine Geoconsensus
r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks
Self-stabilizing Algorithm of Two-Hop Conflict Resolution
Softening the Impact of Collisions in Contention Resolution
Unconscious Eventual Consistency with Gossips
Making Population Protocols Self-stabilizing
Anonymous Transactions in Computer Networks
Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults
On the Computational Power of Mobile Robots Under Sequential Schedulers
Ring Exploration with Myopic Luminous Robots
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network
An Optimal Self-stabilizing Firing Squad
Self-stabilization with r-Operators Revisited
Optimal Algorithms for Synchronous Byzantine k-Set Agreement
Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility
Towards a Robust Distributed Framework for Election-Day Voter Check-In
On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols
Affine Tasks for k-Test-and-Set
Code Stabilization
Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Brief Announcement: On the Feasibility of Local Failover Routing on Directed Graphs
Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems