A class of high performance Maekawa-type algorithms for distributed systems under heavy demand

JOURNAL ARTICLE published June 1995 in Distributed Computing

Authors: Roberto Baldoni | Bruno Ciciani

Preface

JOURNAL ARTICLE published March 1986 in Distributed Computing

Authors: C. A. R. Hoare

Comments on deriving protocol specifications from service specifications written in LOTOS

JOURNAL ARTICLE published 1 September 1999 in Distributed Computing

Authors: Monika Kapus-Kolar

Extending hardware transactional memory capacity via rollback-only transactions and suspend/resume

JOURNAL ARTICLE published June 2020 in Distributed Computing

Research funded by Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (UID/CEC/50021/2013,PTDC/EEISCR/1743/2014)

Authors: Shady Issa | Pascal Felber | Alexander Matveev | Paolo Romano

Semantics of finite and infinite networks of concurrent communicating agents

JOURNAL ARTICLE published March 1987 in Distributed Computing

Authors: Manfred Broy

A simple approach for adapting continuous load balancing processes to discrete settings

JOURNAL ARTICLE published April 2016 in Distributed Computing

Research funded by Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada (RPIGN 253645)

Authors: Hoda Akbari | Petra Berenbrink | Thomas Sauerwald

Symbolic synthesis of masking fault-tolerant distributed programs

JOURNAL ARTICLE published March 2012 in Distributed Computing

Authors: Borzoo Bonakdarpour | Sandeep S. Kulkarni | Fuad Abujarad

Causality tracking in causal message-logging protocols

JOURNAL ARTICLE published 1 January 2002 in Distributed Computing

Authors: Lorenzo Alvisi | Karan Bhatia | Keith Marzullo

Failure detectors as type boosters

JOURNAL ARTICLE published February 2008 in Distributed Computing

Authors: Rachid Guerraoui | Petr Kouznetsov

A decision-theoretic approach to reliable message delivery

JOURNAL ARTICLE published January 2001 in Distributed Computing

Authors: Francis C. Chu | Joseph Y. Halpern

Extending the wait-free hierarchy to multi-threaded systems

JOURNAL ARTICLE published August 2022 in Distributed Computing

Authors: Matthieu Perrin | Achour Mostéfaoui | Grégoire Bonin | Ludmila Courtillat-Piazza

Cross-chain payment protocols with success guarantees

JOURNAL ARTICLE published June 2023 in Distributed Computing

Authors: Rob van Glabbeek | Vincent Gramoli | Pierre Tholoniat

Randomization can be a healer: consensus with dynamic omission failures

JOURNAL ARTICLE published November 2011 in Distributed Computing

Authors: Henrique Moniz | Nuno Ferreira Neves | Miguel Correia | Paulo Veríssimo

A class of deadlock-free Maekawa-type algorithms for mutual exclusion in distributed systems

JOURNAL ARTICLE published September 1991 in Distributed Computing

Authors: Mukesh Singhal

Strong eventual consistency of the collaborative editing framework WOOT

JOURNAL ARTICLE published April 2022 in Distributed Computing

Authors: Emin Karayel | Edgar Gonzàlez

Superstabilizing mutual exclusion

JOURNAL ARTICLE published 1 January 2000 in Distributed Computing

Authors: Ted Herman

The expansion and mixing time of skip graphs with applications

JOURNAL ARTICLE published March 2009 in Distributed Computing

Authors: James Aspnes | Udi Wieder

Good-case early-stopping latency of synchronous byzantine reliable broadcast: the deterministic case

JOURNAL ARTICLE published 22 March 2024 in Distributed Computing

Research funded by Agence Nationale de la Recherche (ANR-20-CE25-0002-01)

Authors: Timothé Albouy | Davide Frey | Michel Raynal | François Taïani

How processes learn

JOURNAL ARTICLE published March 1986 in Distributed Computing

Authors: K. M. Chandy | Jayadev Misra

Special issue on DISC 07

JOURNAL ARTICLE published July 2008 in Distributed Computing

Authors: Andrzej Pelc