Tolong jelaskan mengenai Definisi dari Kalkulus pi

concurrency, ditulis , yaitu proses  dan  yang berjalan secara concurrent.

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.

Berikut adalah bahasa pemrograman yang didasarkan pada kalkulus π

Business Process Modeling Language (BPML)

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