Cited By
View all- Abadi MBlanchet BFournet C(2017)The Applied Pi CalculusJournal of the ACM10.1145/312758665:1(1-41)Online publication date: 26-Oct-2017
- Bengtson JParrow JWeber T(2016)Psi-Calculi in IsabelleJournal of Automated Reasoning10.1007/s10817-015-9336-256:1(1-47)Online publication date: 1-Jan-2016
- Borgstrom JGutkovas RRodhe IVictor B(2015)The Psi-Calculi WorkbenchACM Transactions on Embedded Computing Systems10.1145/268257014:1(1-25)Online publication date: 21-Jan-2015
- Show More Cited By