165 papers found
Refreshing results…
Design and Verification of Distributed Recovery Blocks with CSP
Download from www.researchgate.netCSP, PVS and a Recursive Authentication Protocol
Download from www.researchgate.netEmbedding CSP in PVS. An Application to Authentication Protocols
Download from www.researchgate.netUsing CSP for protocol analysis: the Needham-Schroeder Public-Key Protocol
Download from www.researchgate.netUsing a PVS embedding of CSP to verify authentication protocols
Download from epubs.surrey.ac.ukReal-time LOTOS and timed observations
Download from www.researchgate.netThe FCRAO Extragalactic CO Survey. I. The Data
Download from doi.orgTowards a Denotational Semantics for Timed LOTOS
Download from citeseerx.ist.psu.eduA Failures Semantics for ET-LOTOS
Download from www.researchgate.netMissing publications? Read more about our data sources.