The π-calculus is a process calculus used in theoretical computer science. It allows for channel names to be communicated along the channels themselves, and can be used to describe concurrent computations whose network configuration may change during the computation. It has been used to reason about cryptographic protocols, business processes, and molecular biology.
Stanford University
Fall 2022
Stanford University's CS 242 teaches the basics of programming language theory, its applications, and future trends. It focuses on the practical and theoretical understanding of programming languages, covering typed lambda calculus, state, monads, and more.
No concepts data
+ 15 more concepts