165 papers found
Refreshing results…
Experiments in Translating CSP parallel to B to Handel-C
Download from www.researchgate.netThreat Analysis of a Practical Voting Scheme with Receipts.
Download from epubs.surrey.ac.ukModeling and analysis of the AMBA bus using CSP and B
Download from www.researchgate.netMicrostrip Leaky Wave Antenna Performance on a Curved Surface
Download from www.researchgate.netA New Receipt-Free E-Voting Scheme Based on Blind Signature (Abstract)
Download from www.researchgate.netTo infinity and beyond or, avoiding the infinite in security protocol analysis
Download from www.researchgate.netAugmenting B with Control Annotations
Download from www.computing.surrey.ac.ukMissing publications? Read more about our data sources.