Kalkulus pi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Langsung 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 P \mid Q, yaitu proses P dan Q yang berjalan secara concurrent.
  • communication, yaitu:
    • input prefixing c\left(x\right).P adalah sebuah proses yang menerima pesan dari saluran c sebelum kemudian menjadi P.
    • output prefixing \overline{c} \langle y \rangle.P adalah nama y dikirim lewat saluran c dan kemudian menjadi P.
  • replication, ditulis !\,P, yaitu sebuah proses yang selalu membuat salinan baru dari dirinya sendiri.
  • creation of a new name, ditulis \left(\nu x\right)P, yaitu sebuah proses dengan konstanta baru x di dalam P.
  • the nil process, ditulis 0, yaitu proses kosong yang telah berhenti bekerja.

Contoh[sunting | sunting sumber]

Berikut adalah sebuah contoh:


\begin{align}

     &  \begin{align}
                (\nu x) \; & ( \; \overline{x} \langle z \rangle . \; 0 \\  
                           & | \; x(y). \; \overline{y}\langle x \rangle . \; x(y). \; 0 \; ) 
        \end{align} \\


| \; & z(v) . \; \overline{v}\langle v \rangle . 0 

\end{align}

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]