Set-Pi: Set Membership pi-Calculus

Alessandro Bruni, Sebastian Alexander Mödersheim, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

429 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Set-Pi: Set Membership pi-Calculus'. Together they form a unique fingerprint.

Engineering & Materials Science