www.wikidata.id-id.nina.az

Kalkulus pi Kalkulus π adalah kalkulus proses yang dikembangkan oleh Robin Milner 1 sebagai kelanjutan dari CCS Calculus

Kalkulus pi

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 sunting

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

Berikut adalah sebuah contoh:

Implementasi sunting

Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π

  • Business Process Modeling Language (BPML)
  • Nomadic Pict
  • occam-π
  • JoCaml

Rujukan sunting

  1. http://user.it.uu.se/~joachim/ Joachim Parrow

Buku sunting

  • 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

wikipedia, wiki, buku, buku, perpustakaan, artikel, baca, unduh, gratis, unduh gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, gambar, musik, lagu, film, buku, permainan, permainan.
Tanggal penerbitan:
Kalkulus p adalah kalkulus proses yang dikembangkan oleh Robin Milner 1 sebagai kelanjutan dari CCS Calculus of Communicating Systems Tujuan kalkulus p adalah untuk menggambarkan komputasi concurrent yang dapat berubah Daftar isi 1 Definisi 1 1 Contoh 2 Implementasi 3 Rujukan 4 Buku 5 Pranala luarDefinisi suntingKalkulus p terdiri dari concurrency ditulis P Q displaystyle P mid Q nbsp yaitu proses P displaystyle P nbsp dan Q displaystyle Q nbsp yang berjalan secara concurrent communication yaitu input prefixing c x P displaystyle c left x right P nbsp adalah sebuah proses yang menerima pesan dari saluran c displaystyle c nbsp sebelum kemudian menjadi P displaystyle P nbsp output prefixing c y P displaystyle overline c langle y rangle P nbsp adalah nama y displaystyle y nbsp dikirim lewat saluran c displaystyle c nbsp dan kemudian menjadi P displaystyle P nbsp replication ditulis P displaystyle P nbsp yaitu sebuah proses yang selalu membuat salinan baru dari dirinya sendiri creation of a new name ditulis n x P displaystyle left nu x right P nbsp yaitu sebuah proses dengan konstanta baru x displaystyle x nbsp di dalam P displaystyle P nbsp the nil process ditulis 0 yaitu proses kosong yang telah berhenti bekerja Contoh sunting Berikut adalah sebuah contoh n x x z 0 x y y x x y 0 z v v v 0 displaystyle begin aligned amp begin aligned nu x amp overline x langle z rangle 0 amp x y overline y langle x rangle x y 0 end aligned amp z v overline v langle v rangle 0 end aligned nbsp Implementasi suntingBerikut adalah bahasa pemrograman yang didasarkan pada kalkulus p Business Process Modeling Language BPML Nomadic Pict occam p JoCamlRujukan sunting http user it uu se joachim Joachim ParrowBuku suntingRobin Milner Communicating and Mobile Systems the Pi Calculus Cambridge Univ Press 1999 ISBN 0 521 65869 1 Robin Milner The Polyadic p displaystyle pi nbsp 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 9Pranala luar suntingPiCalculus on the C2 wiki Calculi for Mobile Processes FAQ on Pi Calculus Diarsipkan 2006 09 09 di Wayback Machine by Jeannette M Wing Diperoleh dari https id wikipedia org w index php title Kalkulus pi amp oldid 22846689