165 papers found
Refreshing results…
A Layered Behavioural Model of Platelets.
Download from epubs.surrey.ac.ukCSP theorems for communicating B machines
Download from www.researchgate.netA Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols
Download from epubs.surrey.ac.ukFormal verification of fault-tolerant software design: The CSP approach
Download from www.researchgate.netSpecifying Authentication Using Signal Events in CSP.
Download from epubs.surrey.ac.ukA decision procedure for the existence of a rank function
Download from epubs.surrey.ac.ukChunks: Component Verification in CSP ∥ B
Download from epubs.surrey.ac.ukA Practical, Voter-Verifiable Election Scheme
Download from www.researchgate.netA formal model of Diffie-Hellman using CSP and rank functions
Download from www.researchgate.netGenetic diversity and interdependent crop choices in agriculture, Res Energy Econ 26, 175-184
Download from www.researchgate.netVerifying Security Protocols: An Application of CSP
Download from epubs.surrey.ac.ukTowards the verification of security protocols that use temporary secrets
Download from www.researchgate.netComposing Specifications Using Communication
Download from epubs.surrey.ac.ukMissing publications? Read more about our data sources.