The π-calculus is a process calculus that allows for communication of channel names along the channels themselves, enabling the description of concurrent computations with changing network configurations. It is a small yet expressive language that can encode functional programs and has been used in reasoning about cryptographic protocols, business processes, and molecular biology.
Carnegie Mellon University
Spring 2014
A comprehensive course at Carnegie Mellon University that introduces fundamental principles of programming language design and implementation from a mathematical perspective. It delves deep into the structural and dynamic aspects of programming languages, studying concepts like recursion, objects, polymorphism, and parallelism.
No concepts data
+ 38 more concepts