Skip to content
AIDb
π

π-calculus

Process calculus

EntityQ1970286Q602886

Also known as pi-calculus

Instance of

All data

8 statements · 50% with external sources · numbers in brackets are citations

Partially coincident with

On other databases

7 identifiers linking π-calculus across the web's reference databases