Lihat sumber Kalkulus pi

'''Kalkulus π''' adalah kalkulus proses yang dikembangkan oleh [[Robin Milner]]<ref>http://user.it.uu.se/~joachim/ Joachim Parrow</ref> sebagai kelanjutan dari CCS ([[Calculus of Communicating Systems]]). Tujuan kalkulus π adalah untuk menggambarkan komputasi concurrent yang dapat berubah.

== Definisi ==
Kalkulus π terdiri dari:
* ''concurrency'', ditulis <math>P \mid Q</math>, yaitu proses <math>P</math> dan <math>Q</math> yang berjalan secara concurrent.
* ''communication'', yaitu:
** ''input prefixing'' <math>c\left(x\right).P</math> adalah sebuah proses yang menerima pesan dari saluran <math>c</math> sebelum kemudian menjadi .
** ''output prefixing'' <math>\overline{c} \langle y \rangle.P</math> adalah nama <math>y</math> dikirim lewat saluran <math>c</math> dan kemudian menjadi .
* ''replication'', ditulis <math>!\,P</math>, yaitu sebuah proses yang selalu membuat salinan baru dari dirinya sendiri.
* ''creation of a new name'', ditulis <math>\left(\nu x\right)P</math>, yaitu sebuah proses dengan konstanta baru <math>x</math> di dalam .
* the nil process, ditulis ''0'', yaitu proses kosong yang telah berhenti bekerja.

=== Contoh ===
Berikut adalah sebuah contoh:

:<math>
\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}
</math>

== 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]]: [http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-180/ ''The Polyadic <math>\pi</math>-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 ==
* [http://c2.com/cgi/wiki?PiCalculus PiCalculus] on the C2 wiki
* [http://move.to/mobility Calculi for Mobile Processes]
* [http://www.eecs.harvard.edu/~nr/cs257/archive/jeannette-wing/pi.pdf FAQ on Pi-Calculus]  by [[Jeannette M. Wing]]

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Kalkulus+pi&oldid=28589791 Wikipedia bahasa Indonesia], revisi 28589791 (2025-11-21T15:15:43Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->