Este documento considera la resolubilidad de varios problemas fundamentales en sistemas distribuidos de paso de mensajes asíncronos en presencia de procesos bizantinos utilizando algoritmos distribuidos. Estos problemas son los siguientes: exclusión mutua, registro de instantánea global, detección de terminación, detección de deadlock, detección de predicado, orden causal, construcción de árbol de expansión, construcción de árbol de expansión mínimo, cálculo de todos los caminos más cortos, y cálculo de conjunto independiente maximal. En un algoritmo distribuido, cada proceso solo tiene acceso a sus variables locales y parámetros de aristas incidentes. Mostramos la imposibilidad de resolver estos problemas fundamentales al demostrar que requieren una solución al problema de determinación de causalidad que se ha demostrado que es insoluble en sistemas distribuidos de paso de mensajes asíncronos.