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 , 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 
Berikut adalah sebuah contoh:

Implementasi 
Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π
 Business Process Modeling Language (BPML)
 Nomadic Pict
 occam-π
 JoCaml

Rujukan

Buku 
 Robin Milner: Communicating and Mobile Systems: the Pi-Calculus, Cambridge Univ. Press, 1999, ISBN 0-521-65869-1
 Robin Milner: The Polyadic -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  by Jeannette M. Wing

Kalkulus