The π-calculus (pi-calculus) is a process calculus introduced by Robin Milner in the 1990s as a formal model for describing and analyzing concurrent systems and mobile processes. It extends earlier formalisms, such as the CCS (Calculus of Communicating Systems), and is designed to model how processes interact with each other through communication, especially in scenarios where the structure and behavior of these processes can change over time (e.g., due to mobility).
Articles by others on the same topic
There are currently no matching articles.