Kalkulus pi

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

Definisi

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 Templat:Nowrap.
  • output prefixing $\bar{c}⟨y⟩.P$ adalah nama $y$ dikirim lewat saluran $c$ dan kemudian menjadi Templat:Nowrap.
• 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 Templat:Nowrap.
• the nil process, ditulis 0, yaitu proses kosong yang telah berhenti bekerja.

Contoh

Berikut adalah sebuah contoh:

$\begin{array}{cc}& \begin{array}{cc}(\nu x)& (\bar{x}⟨z⟩.0\\ & |x(y).\bar{y}⟨x⟩.x(y).0)\end{array}\\ |& z(v).\bar{v}⟨v⟩.0\end{array}$

Implementasi

Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π

• Business Process Modeling Language (BPML)
• Nomadic Pict
• occam-π
• JoCaml

Buku

• Robin Milner: Communicating and Mobile Systems: the Pi-Calculus, Cambridge Univ. Press, 1999, ISBN 0-521-65869-1
• Robin Milner: The Polyadic $\pi$-Calculus: A Tutorial. Logic and Algebra of Specification, 1993.
• Davide Sangiorgi and David Walker: The Pi-calculus: A Theory of Mobile Processes, Cambridge University Press, ISBN 0-521-78177-9

Pranala luar

• PiCalculus on the C2 wiki
• Calculi for Mobile Processes
• FAQ on Pi-Calculus Templat:Webarchive by Jeannette M. Wing