Kalkulus pi: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k r2.6.4) (bot Menambah: ru:Пи-исчисление |
k →Contoh: clean up |
||
| (4 revisi perantara oleh 4 pengguna tidak ditampilkan) | |||
Baris 6:
* ''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>}}.
** ''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.
* ''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.
Baris 22:
\end{align} \\
▲| \; & z(v) . \; \overline{v}\langle v \rangle . 0
\end{align}
Baris 46 ⟶ 45:
* [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] {{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]]
| |||