Kalkulus pi: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
Luckas-bot (bicara | kontrib) k bot Menambah: ca:Càlcul Pi |
k →Contoh: clean up |
||
(7 revisi perantara oleh 7 pengguna tidak ditampilkan) | |||
Baris 6: | Baris 6: | ||
* ''communication'', yaitu: |
* ''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 {{nowrap|<math>P</math>}}. |
** ''input prefixing'' <math>c\left(x\right).P</math> adalah sebuah proses yang menerima pesan dari saluran <math>c</math> sebelum kemudian menjadi {{nowrap|<math>P</math>}}. |
||
** ''output prefixing'' |
** ''output prefixing'' <math>\overline{c} \langle y \rangle.P</math> adalah nama <math>y</math> dikirim lewat saluran <math>c</math> dan kemudian menjadi {{nowrap|<math>P</math>}}. |
||
* ''replication'', ditulis <math>!\,P</math>, yaitu sebuah proses yang selalu membuat salinan baru dari dirinya sendiri. |
* ''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 {{nowrap|<math>P</math>}}. |
* ''creation of a new name'', ditulis <math>\left(\nu x\right)P</math>, yaitu sebuah proses dengan konstanta baru <math>x</math> di dalam {{nowrap|<math>P</math>}}. |
||
* the nil process, ditulis ''0'', yaitu proses kosong yang telah berhenti bekerja. |
* the nil process, ditulis ''0'', yaitu proses kosong yang telah berhenti bekerja. |
||
Baris 22: | Baris 22: | ||
\end{align} \\ |
\end{align} \\ |
||
⚫ | |||
⚫ | |||
\end{align} |
\end{align} |
||
Baris 46: | Baris 45: | ||
* [http://c2.com/cgi/wiki?PiCalculus PiCalculus] on the C2 wiki |
* [http://c2.com/cgi/wiki?PiCalculus PiCalculus] on the C2 wiki |
||
* [http://move.to/mobility Calculi for Mobile Processes] |
* [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]] |
* [http://www.eecs.harvard.edu/~nr/cs257/archive/jeannette-wing/pi.pdf FAQ on Pi-Calculus] {{Webarchive|url=https://web.archive.org/web/20060909175406/http://www.eecs.harvard.edu/~nr/cs257/archive/jeannette-wing/pi.pdf |date=2006-09-09 }} by [[Jeannette M. Wing]] |
||
[[Kategori:Kalkulus]] |
[[Kategori:Kalkulus]] |
||
[[ca:Càlcul Pi]] |
|||
[[de:Pi-Kalkül]] |
|||
[[en:Pi calculus]] |
|||
[[es:Cálculo pi]] |
|||
[[fr:Pi-calcul]] |
|||
[[uk:Пі-числення]] |
Revisi terkini sejak 3 Februari 2023 06.22
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 , 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
[sunting | sunting sumber]Berikut adalah sebuah contoh:
Implementasi
[sunting | sunting sumber]Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π
Rujukan
[sunting | sunting sumber]- ^ http://user.it.uu.se/~joachim/ Joachim Parrow
Buku
[sunting | sunting sumber]- 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
[sunting | sunting sumber]- PiCalculus on the C2 wiki
- Calculi for Mobile Processes
- FAQ on Pi-Calculus Diarsipkan 2006-09-09 di Wayback Machine. by Jeannette M. Wing