Skripsi ini membahas tentang Byzantine Generals Problem dan isu-isu konkurensi yang terkait dengan proses-proses yang terjadi di Byzantine Generals Problem. Byzantine Generals Problem merupakan suatu abstraksi permasalahan kesalahan informasi antar proses dalam suatu sistem. Algoritma Byzantine Generals Problem yang digunakan adalah algoritma Oral Message dan Oral Message with Extension. Kedua algoritma ini diimplementasikan dengan menggunakan Abstract Behavioral Specification (ABS) dengan produk yang berbeda menggunakan suatu parameter delta. Setiap produk kemudian dapat menampilkan sequence diagram untuk membantu memahami proses yang terjadi di Byzantine Generals Problem. Kata kunci: Byzantine Generals Problem, Konkurensi, Abstract Behavioral Specification.