Kalkulus pi

Kalkulus π adalah kalkulus proses yang dikembangkan oleh Robin Milner sebagai kelanjutan dari CCS. Tujuan kalkulus π adalah untuk menggambarkan komputasi concurrent yang dapat berubah.