Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T04:12:17Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 04.12
Baris 1:		Baris 1:
	'''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.		'''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 ==		== Definisi ==
Baris 33:		Baris 33:
	* [[occam-π]]		* [[occam-π]]
	* [[JoCaml]]		* [[JoCaml]]

	~~== Rujukan ==~~


	== Buku ==		== Buku ==
Baris 47:		Baris 44:
	* [http://www.eecs.harvard.edu/~nr/cs257/archive/jeannette-wing/pi.pdf FAQ on Pi-Calculus] by [[Jeannette M. Wing]]		* [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 ==		== 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.		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 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28589791; atribusi sumber disertakan.

2026-08-25T03:52:15Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28589791; atribusi sumber disertakan.

Halaman baru

'''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 <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]]

== Rujukan ==

== 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]]

== 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.

Kalkulus pi - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28589791; atribusi sumber disertakan.