Stateful Applied Pi Calculus: Observational Equivalence and Labelled Bisimilarity

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
186 Downloads (Pure)
Filter
Finished

Search results