Kalkulus pi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Lompat ke: navigasi, cari

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 | sunting sumber]

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 | sunting sumber]

Berikut adalah sebuah contoh:

Implementasi[sunting | sunting sumber]

Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π

Rujukan[sunting | sunting sumber]

Buku[sunting | sunting sumber]

Pranala luar[sunting | sunting sumber]