Kalkulus π adalah kalkulus proses yang dikembangkan oleh Robin Milner[1] sebagai kelanjutan dari CCS (Calculus of Communicating Systems). Tujuan kalkulus π adalah untuk menggambarkan komputasi concurrent yang dapat berubah.

Definisi

sunting

Kalkulus π terdiri dari:

  • concurrency, ditulis  , yaitu proses   dan   yang berjalan secara concurrent.
  • communication, yaitu:
    • input prefixing   adalah sebuah proses yang menerima pesan dari saluran   sebelum kemudian menjadi  .
    • output prefixing   adalah nama   dikirim lewat saluran   dan kemudian menjadi  .
  • replication, ditulis  , yaitu sebuah proses yang selalu membuat salinan baru dari dirinya sendiri.
  • creation of a new name, ditulis  , yaitu sebuah proses dengan konstanta baru   di dalam  .
  • the nil process, ditulis 0, yaitu proses kosong yang telah berhenti bekerja.

Contoh

sunting

Berikut adalah sebuah contoh:

 

Implementasi

sunting

Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π

Rujukan

sunting

Pranala luar

sunting