Occam-π

Occam-π (atau occam-pi) adalah varian dari bahasa pemrograman occam yang dikembangkan oleh tim Kent Retargetable Occam Compiler (KRoC) di Universitas Kent.^[1] Nama occam-π mencerminkan pengenalan elemen-elemen dari π-kalkulus (pi-kalkulus) ke dalam bahasa occam, terutama konsep yang melibatkan agen yang bergerak (proses) dan data.

Bahasa ini mencakup beberapa ekstensi untuk occam 2.1, yang di antaranya adalah:

• Protokol bersarang
• Pembuatan proses run-time
• Saluran seluler, data, dan proses
• Rekursi
• Pewarisan protokol
• Konstruktor array
• Pertemuan diperpanjang

• occam (bahasa pemrograman)
• Pengangkut data
• KRoC
• Penerjemah (mesin virtual)

• Situs web resmi
• Halaman proyek Occam-pi Universitas Kent
• Kompiler Tock Occam
• Kelompok pengguna pemrograman paralel pada Occam-pi

1. ^ "occam-pi and KRoC: blending CSP and the pi-calculus". www.cs.kent.ac.uk. Diakses tanggal 2025-04-27.