The [pi]-calculusde Davide SangiorgiMateriasMobile communication systemsMobile computingPi-calculusEdiciones (1)The [pi]-calculus (2001)Cambridge University Press · inglésMás obras de Davide SangiorgiAn introduction to bisimulation and coinductionAAdvanced topics in bisimulation and coinductionAdvanced topics in bisimulation and coinductionTrustworthy global computing