Stateful Applied Pi Calculus: Observational Equivalence and Labelled Bisimilarity

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

191 Downloads (Pure)

1 results

Finished
Verifying Interoperability requirements in Pervasive Systems
Ryan, M. & Ritter, E.
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils