π-calculus
E230807
UNEXPLORED
The π-calculus is a formal mathematical model for describing and analyzing concurrent, communicating systems, particularly those with dynamic network structures.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.