La communication asynchrone ne peut pas être mise en œuvre par des machines de Turing car l'ordre d'arrivée des messages ne peut pas être logiquement déduit. - Carl Hewitt,