Pada tulisan ini diajukan sebuah aksiomatisasi dari kanal asinkron pada suatu sistem terdistribusi. Kanal digunakan untuk menyederhanakan penalaran tentang sistem terdistribusi, karena proses pada sistem seperti itu tidak men-share variabel lain selain kanal yang mereka gunakan, sehingga sifat individu dari sebuah proses juga dipenuhi sebagai sifat dari sistem. Aksiomatisasi diharapkan mencakup semua sifat-sifat yang paling esensi dari kanal asinkron, dalam formulasi yang seabstrak mungkin untuk mendukung penalaran yang algoritmik. Sistem terdistribusi dimodelkan sebagai sistem yang write disjoint. Dengan demikian, mekanisme spesifik dimana komunikasi asinkron diimplementasikan dapat dihindari dari penalaran formal yang dilakukan. Penggunaan kanal diabstraksikan dengan pemanggilan ke servis send dan receive. Kode yang tepat dari servis ini dan juga kode dari pengaturan pesan oleh kanal tidak diberikan. Pada penelitian ini hanya dipertimbangkan distorsi dalam bentuk delayed synchronization. penalaran menggunakan logika temperal. Kegunaan dari aksiomatisasi ini diilustrasikan dengan melakukan verifikasi terhadap sistem reaktif sederhana yang memodelkan sistem gas burner. Sebagian verifikasi dilakukan dengna bantuan The Stanford Temporal Prover (STeP), dan sebagian secara manual.