Fast alle verteilten Computersysteme sind asynchron, d.h., es existiert keine obere Schranke für die maximale Nachrichtenlaufzeit. Viele für verteilte Systeme relevante Problemspezifikationen, wie z.B. das perfekte Fehlerdetektionsproblem, erlauben allerdings keine deterministische Lösung in dem asynchronen FLP Modell. In meinem Vortrag werde ich das "Timed Asynchronous System Model" vorstellen. Obwohl dieses Modell ein asynchrones Systemmodell ist und in gewisser Hinsicht schwächere Annahmen als das FLP Modell macht, kann man in diesem Modell perfekte Fehlerdetektoren implementieren. Weiterhin erlaubt dieses Modell die Transformation von gewissen unberechenbaren Problemspezifikationen in Problemspezifikationen, die im "Timed Asynchronous System Model" berechenbar sind.