../code/conceptPage.scroll

id pi-calculus
name Pi Calculus
appeared 1991
tags pl
lab Laboratoire de l'Informatique du Parallélisme

country France
reference https://semanticscholar.org/paper/fa025cfbd3e988186e561e538ea1c2edf7b35454

hopl https://hopl.info/showlanguage.prx?exp=6813