Verfahren, das zur Ausführung auf mehreren miteinander kommunizierenden Prozessoren vorgesehen ist.

Das Netzwerk der Kommunikationsverbindungen muß weder komplett noch beim Algorithmenentwurf bekannt sein. Die Korrektheit eines verteilten Algorithmus darf nicht von der relativen Geschwindigkeit der Prozessoren und Kommunikationskanäle abhängen. Viele verteilte Algorithmen tolerieren zudem Ausfälle von einigen der beteiligten Prozessoren.

Typische verteilte Algorithmen sind reaktiv, d. h., anstelle einer Ergebnisberechnung mit nachfolgender Terminierung geht es um die permanente Aufrechterhaltung eines Dienstes, z. B. Zuteilung beschränkter Ressourcen zu Prozessoren oder den Austausch von Informationen zwischen nicht direkt miteinander verbundenen Prozessoren. Das beabsichtigte Ergebnis kann demnach selbst verteilt sein.