Kalkulus pi: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
k Membuang kategori Matematika; Menambahkan kategori Kalkulus (menggunakan HotCat) |
k bot Mengubah: en:Pi calculus |
||
Baris 48: | Baris 48: | ||
* [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]] |
||
⚫ | |||
[[de:Pi-Kalkül]] |
[[de:Pi-Kalkül]] |
||
[[en:Pi |
[[en:Pi calculus]] |
||
[[es:Cálculo pi]] |
[[es:Cálculo pi]] |
||
[[fr:Pi-calcul]] |
[[fr:Pi-calcul]] |
||
[[uk:Пі-числення]] |
[[uk:Пі-числення]] |
||
⚫ |
Revisi per 17 November 2009 20.16
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
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 π
Rujukan
- ^ http://user.it.uu.se/~joachim/ Joachim Parrow
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