Stateful Applied Pi Calculus

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

9 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Stateful Applied Pi Calculus'. Together they form a unique fingerprint.

Business & Economics